- Autor(en):
- Steinhorst, Sebastian; Hedrich, Lars
- Titel:
- Trajectory-Directed Discrete State Space Modeling for Formal Verification of Nonlinear Analog Circuits
- Kongress- / Buchtitel:
- Proceedings of the International Conference on Computer-Aided Design (ICCAD 2012)
- Jahr:
- 2012
- Monat:
- 11
- Seiten:
- 202--209
- Volltext / DOI:
- doi:10.1145/2429384.2429423
- BibTeX