- Author(s):
- Steinhorst, Sebastian; Hedrich, Lars
- Title:
- Trajectory-Directed Discrete State Space Modeling for Formal Verification of Nonlinear Analog Circuits
- Book / Congress title:
- Proceedings of the International Conference on Computer-Aided Design (ICCAD 2012)
- Year:
- 2012
- Month:
- 11
- Pages:
- 202--209
- Fulltext / DOI:
- doi:10.1145/2429384.2429423
- BibTeX