Automated abstraction of nonlinear analog circuits to reliable set-valued models with reduced overapproximation. (June 2021)

• Record Type: Journal Article
• Authors: Rechmal-Lesse, Malgorzata; Adhisantoso, Yeremia Gunawan; Koroa, Gerald Alexander; Olbrich, Markus
• Is Part Of: Microelectronics and reliability. Volume 121(2021)
• Publication Date: 2021-06
• Subjects: Nonlinear analog circuit -- Piecewise linear model -- Formal verification -- Reachability analysis -- Parameter variations; Electronic apparatus and appliances -- Reliability -- Periodicals; Miniature electronic equipment -- Periodicals; Appareils électroniques -- Fiabilité -- Périodiques; Équipement électronique miniaturisé -- Périodiques; Electronic apparatus and appliances -- Reliability; Miniature electronic equipment; Periodicals; 621.3815
• DOI: 10.1016/j.microrel.2021.114119
• Languages: English
• ISSNs: 0026-2714

Abstract

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%. Highlights: Automated generation of set-valued circuit models Reduced overapproximation by building the subset of affine forms and intervals Reliable modeling approach with guaranteed enclosure of uncertainties Applicability to highly nonlinear circuits Analyses around the stable point under the influence of variations and disturbances