Details
| Originalsprache | Englisch |
|---|---|
| Aufsatznummer | 114119 |
| Fachzeitschrift | Microelectronics Reliability |
| Jahrgang | 121 |
| Frühes Online-Datum | 23 Apr. 2021 |
| Publikationsstatus | Veröffentlicht - Juni 2021 |
Abstract
This paper tackles the analog and mixed-signal modeling for verification challenges. It proposes an adjustable automated modeling approach, which provides set-valued models with reduced overapproximation. The models reliably enclose parameter variations and modeling errors. The reduced overapproximation is obtained by computing the intersecting set of models with intervals and affine forms. The nonlinear circuit examples show a reduced overapproximation up to 86%.
ASJC Scopus Sachgebiete
- Werkstoffwissenschaften (insg.)
- Elektronische, optische und magnetische Materialien
- Physik und Astronomie (insg.)
- Atom- und Molekularphysik sowie Optik
- Physik und Astronomie (insg.)
- Physik der kondensierten Materie
- Ingenieurwesen (insg.)
- Sicherheit, Risiko, Zuverlässigkeit und Qualität
- Werkstoffwissenschaften (insg.)
- Oberflächen, Beschichtungen und Folien
- Ingenieurwesen (insg.)
- Elektrotechnik und Elektronik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Microelectronics Reliability, Jahrgang 121, 114119, 06.2021.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - Automated Abstraction of Nonlinear Analog Circuits to Reliable Set-Valued Models with Reduced Overapproximation
AU - Rechmal-Lesse, Malgorzata
AU - Adhisantoso, Yeremia Gunawan
AU - Koroa, Gerald Alexander
AU - Olbrich, Markus
N1 - Funding Information: This work was partially funded by the Deutsche Forschungsgemeinschaft (DFG – German Research Foundation) under project faveAC under grant OL 121/4-1 .
PY - 2021/6
Y1 - 2021/6
N2 - This paper tackles the analog and mixed-signal modeling for verification challenges. It proposes an adjustable automated modeling approach, which provides set-valued models with reduced overapproximation. The models reliably enclose parameter variations and modeling errors. The reduced overapproximation is obtained by computing the intersecting set of models with intervals and affine forms. The nonlinear circuit examples show a reduced overapproximation up to 86%.
AB - This paper tackles the analog and mixed-signal modeling for verification challenges. It proposes an adjustable automated modeling approach, which provides set-valued models with reduced overapproximation. The models reliably enclose parameter variations and modeling errors. The reduced overapproximation is obtained by computing the intersecting set of models with intervals and affine forms. The nonlinear circuit examples show a reduced overapproximation up to 86%.
KW - Formal verification
KW - Nonlinear analog circuit
KW - Parameter variations
KW - Piecewise linear model
KW - Reachability analysis
UR - http://www.scopus.com/inward/record.url?scp=85105604640&partnerID=8YFLogxK
U2 - 10.1016/j.microrel.2021.114119
DO - 10.1016/j.microrel.2021.114119
M3 - Article
AN - SCOPUS:85105604640
VL - 121
JO - Microelectronics Reliability
JF - Microelectronics Reliability
SN - 0026-2714
M1 - 114119
ER -