Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC) |
| Seiten | 199-204 |
| Seitenumfang | 6 |
| ISBN (elektronisch) | 9781728141237 |
| Publikationsstatus | Veröffentlicht - 2020 |
Publikationsreihe
| Name | Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC |
|---|---|
| Band | 2020-January |
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.
ASJC Scopus Sachgebiete
- Ingenieurwesen (insg.)
- Elektrotechnik und Elektronik
- Informatik (insg.)
- Angewandte Informatik
- Informatik (insg.)
- Computergrafik und computergestütztes Design
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. S. 199-204 9045120 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; Band 2020-January).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.
AU - Kochdumper, Niklas
AU - Tarraf, Ahmad
AU - Rechmal, Malgorzata
AU - Olbrich, Markus
AU - Hedrich, Lars
AU - Althoff, Matthias
N1 - Funding information: ACKNOWLEDGMENTS The authors gratefully acknowledge financial support by the German Research Foundation (DFG) project faveAC under grant AL 1185/5 1.
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85083027861&partnerID=8YFLogxK
U2 - 10.1109/ASP-DAC47756.2020.9045120
DO - 10.1109/ASP-DAC47756.2020.9045120
M3 - Conference contribution
SN - 978-1-7281-4124-4
T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
SP - 199
EP - 204
BT - 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC)
ER -