Towards formal verification of analog designs.

Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar

Browse the full ICCAD paper archive.