A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Analog Circuit Verification: a State of an Art
2006
Electronical Notes in Theoretical Computer Science
Extending formal verification methodology toward analog circuits is a very challenging task that will occupy researchers for some time. To put this challenge in context we sketch some of the history of digital circuit verification as well as more recent attempts to adapt it to continnuous and hybrid systems.
doi:10.1016/j.entcs.2006.02.020
fatcat:ohgm6q37bnbqtlc37nexut5mxy