@inproceedings{bar-gra-gra-hed-hei-pop-ste-wan-09-aa-anacir,
  author = {Barke, Erich and Grabowski, Darius and Graeb, Helmut, and Hedrich, Lars and Heinen, Stefan and Popp, Ralf and Steinhorst, Sebastian and Wang, Yifan},
  title = {Formal Approaches to Analog Circuit Verification},
  booktitle = {Proceedings of the 2009 Design, Automation {\&} Test in Europe Conference {\&} Exhibition},
  year = 2009,
  month = apr,
  doi = {10.1109/DATE.2009.5090759},
  pages = {724-729},
  comment = {Survey paper. Has a substantial section on AA used for non-linear electronic circuit simulation; compares with IA.},
  abstract = {For a speed-up of analog design cycles to keep up with the continuously decreasing time to market, iterative design refinement and redesigns are more than ever regarded as showstoppers. To deal with this issue, referred to as design and verification gap, the development of a continuous and consistent verification is mandatory. In digital design, formal verification methods are considered as a key technology for efficient design flows. However, industrial availability of formal methods for analog circuit verification is still negligible despite a growing need. In recent years, research institutions have made considerable advances in the area of formal verification of analog circuits. This paper presents a selection of four recent approaches in analog verification that cover a broad scope of verification philosophies.}
}