First steps towards SAT-based formal analog verification.

Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici

Browse the full ICCAD paper archive.