Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.

verfasst von

Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff

Abstract

We present the first work on the automated generation of reachset conformant models for analog circuits. Our approach applies reachset conformant synthesis to add nondeterminism to piecewise-linear circuit models so that they enclose all recorded behaviors of the real system. To achieve this, we present a novel technique to compute the required nondeterminism for the piecewise-linear models. The effectiveness of our approach is demonstrated on a real analog circuit. Since the resulting models enclose all measurements, they can be used for formal verification.

Organisationseinheit(en)

Fachgebiet Mixed-Signal-Schaltungen

Externe Organisation(en)

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

Typ

Aufsatz in Konferenzband

Seiten

199-204

Anzahl der Seiten

6

Publikationsdatum

2020

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Elektrotechnik und Elektronik, Angewandte Informatik, Computergrafik und computergestütztes Design

Elektronische Version(en)

http://mediatum.ub.tum.de/node?id=1521218 (Zugang: Offen)
https://doi.org/10.1109/ASP-DAC47756.2020.9045120 (Zugang: Geschlossen)