Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits.

verfasst von

Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich

Abstract

With the advancements in analog/mixed-signal (AMS) systems and continuously shrinking design sizes, there is an increased demand for reliable verification to ensure correct behavior. To overcome this obstacle, using formal verification is a promising option. We present a modeling system that automatically provides dependable set-valued models from circuit netlists in a form suitable for reachability analysis. Our method is based on local linearizations of the nonlinear circuit. Linearized locations are computed on-the-fly depending on which states are reachable to avoid the state-space explosion problem. The set-valued models include device parameter variations, modeling errors and uncertain input stimuli.

Organisationseinheit(en)

Fachgebiet Mixed-Signal-Schaltungen
Forschungszentrum L3S

Typ

Aufsatz in Konferenzband

Seiten

66-69

Anzahl der Seiten

4

Publikationsdatum

2020

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Signalverarbeitung, Elektrotechnik und Elektronik, Sicherheit, Risiko, Zuverlässigkeit und Qualität, Instrumentierung

Elektronische Version(en)

https://doi.org/10.1109/newcas49341.2020.9159822 (Zugang: Geschlossen)