Details
| Original language | English |
|---|---|
| Title of host publication | 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC) |
| Pages | 199-204 |
| Number of pages | 6 |
| ISBN (electronic) | 9781728141237 |
| Publication status | Published - 2020 |
Publication series
| Name | Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC |
|---|---|
| Volume | 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 subject areas
- Engineering(all)
- Electrical and Electronic Engineering
- Computer Science(all)
- Computer Science Applications
- Computer Science(all)
- Computer Graphics and Computer-Aided Design
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC). 2020. p. 199-204 9045120 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; Vol. 2020-January).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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 -