| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422782 | Electronic Notes in Theoretical Computer Science | 2006 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
