Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets
| Autor: | Markus Olbrich, Malgorzata Rechmal-Lesse, Niklas Kochdumper, Lars Hedrich, Ahmad Tarraf |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
0209 industrial biotechnology
Analogue electronics Computer science Circuit design Formal equivalence checking 02 engineering and technology 020202 computer hardware & architecture Domain (software engineering) 020901 industrial engineering & automation 0202 electrical engineering electronic engineering information engineering Trajectory Netlist Hardware design languages Algorithm Abstraction (linguistics) |
| Zdroj: | ISVLSI |
| DOI: | 10.1109/isvlsi49217.2020.00012 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|