Stochastic differential equations (3rd ed.): an introduction with applications
Stochastic differential equations (3rd ed.): an introduction with applications
Proceedings of the conference on Design, automation and test in Europe: Proceedings
MetiTarski: An Automatic Prover for the Elementary Functions
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Analysis and Design of Analog Integrated Circuits
Analysis and Design of Analog Integrated Circuits
IMS3TW '09 Proceedings of the 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop
Formal approaches to analog circuit verification
Proceedings of the Conference on Design, Automation and Test in Europe
Analog circuit verification by statistical model checking
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Formal verification of SoC based embedded design using context based assertions
CSCC'11 Proceedings of the 2nd international conference on Circuits, Systems, Communications & Computers
Hi-index | 0.01 |
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 to use stochastic differential equations (SDE) to model the designs. We find a closed form solution for the SDEs, then integrate the device variation due to the 0.18μm fabrication process and verify properties using MetiTarski. We illustrate the proposed approach on an inverting Op-Amp Integrator and a Band-Gap reference bias circuit.