82 search results - page 2 / 17 » The Case for Analog Circuit Verification |
FMCAD
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
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 ...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
ATVA
2007
Springer
13 years 10 months ago
2007
Springer
ATVA
2004
Springer
13 years 10 months ago
2004
Springer
