Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques.

Leyi Yin, Yue Deng, Peng Li

Browse the full ICCAD paper archive.