Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets.
- authored by
- Ahmad Tarraf, Lars Hedrich, Niklas Kochdumper, Malgorzata Rechmal-Lesse, Markus Olbrich
- Abstract
In this paper, we propose a new methodology for equivalence checking in the AMS domain. On top of comparing two existing approaches, we define a new methodology using continuous reachable sets. The approaches are illustrated upon two existing abstract modeling techniques. Moreover, the generated models are compared against a conformant model that captures the measured system behavior from the real circuit. These modeling methodologies yield hybrid automatons (HAs), which along with the netlist, are compared using different equivalence checking methods demonstrating verification techniques on different abstraction levels. Finally, we discuss the methodologies with respect to an efficient and safe circuit design.
- Organisation(s)
-
Mixed-Signal Circuits Section
- External Organisation(s)
-
Goethe University Frankfurt
Technical University of Munich (TUM)
- Type
- Conference contribution
- Pages
- 7-12
- No. of pages
- 6
- Publication date
- 2020
- Publication status
- Published
- Peer reviewed
- Yes
- ASJC Scopus subject areas
- Hardware and Architecture, Control and Systems Engineering, Electrical and Electronic Engineering
- Electronic version(s)
-
https://doi.org/10.1109/isvlsi49217.2020.00012 (Access:
Closed)
