Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets.

verfasst von

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.

Organisationseinheit(en)

Fachgebiet Mixed-Signal-Schaltungen

Externe Organisation(en)

Goethe-Universität Frankfurt am Main
Technische Universität München (TUM)

Typ

Aufsatz in Konferenzband

Seiten

7-12

Anzahl der Seiten

6

Publikationsdatum

2020

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Hardware und Architektur, Steuerungs- und Systemtechnik, Elektrotechnik und Elektronik

Elektronische Version(en)

https://doi.org/10.1109/isvlsi49217.2020.00012 (Zugang: Geschlossen)