User: Guest  Login
Title:

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits

Document type:
Konferenzbeitrag
Contribution type:
Textbeitrag / Aufsatz
Author(s):
Kochdumper, Niklas; Tarraf, Ahmad, Rechmal, Malgorzata; Olbrich, Markus; Hedrich, Lars; Althoff, Matthias
Pages contribution:
199-204
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 non-determinism 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 non-determinism for the piecewise-linear models. The effectiveness of our approach is demonstrated on a real analog circuit. Since the resulting models...     »
Book / Congress title:
Proceedings of the 25th Asia and South Pacific Design Automation Conference
Year:
2020
Fulltext / DOI:
doi:10.1109/ASP-DAC47756.2020.9045120
 BibTeX