R Narayanan, B Akbarpour,
MH Zaki… - … , Automation & Test …, 2010 - ieeexplore.ieee.org
We model and verify analog designs in the presence of noise and process variation using
an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose …