Verifying nonlinear analog and mixed-signal circuits with inputs

被引：1

作者：

Fan, Chuchu ^{[1
]}

Meng, Yu ^{[1
]}

Maier, Juergen ^{[2
]}

Bartocci, Ezio ^{[2
]}

Mitra, Sayan ^{[1
]}

Schmid, Ulrich ^{[2
]}

机构：

[1] Univ Illinois, Urbana, IL 61801 USA

[2] Tech Univ Wien, Vienna, Austria

来源：

IFAC PAPERSONLINE | 2018年 / 51卷 / 16期

基金：

奥地利科学基金会; 美国国家科学基金会;

关键词：

D O I：

10.1016/j.ifacol.2018.08.041

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We present a new technique for verifying nonlinear and hybrid models with inputs. We observe that once an input signal is fixed, the sensitivity analysis of the model can be computed much more precisely. Based on this result, we propose a new simulation-driven verification algorithm and apply it to a suite of nonlinear and hybrid models of CMOS digital circuits under different input signals. The models are low-dimensional but with highly nonlinear ODEs, with nearly hundreds of logarithmic and exponential terms. Some of our experiments analyze the metastability of bistable circuits with very sensitive ODEs and rigorously establish the connection between metastability recovery time and sensitivity. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

引用

页码：241 / 246

页数：6

共 50 条

[11] A test paradigm for analog and mixed-signal circuits and systems
Wang, CP
Hatzopoulos, AA
Wey, CL
ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 3, 1996, : 194 - 197
[12] Analog and mixed-signal benchmark circuits - First release
Kaminska, B
Arabi, K
Bell, I
Goteti, P
Huertas, JL
Kim, B
Rueda, A
Soma, M
ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, 1997, : 183 - 190
[13] Analog/Mixed-Signal Integrated Circuits for Quantum Computing
Bardin, Joseph C.
2020 IEEE BICMOS AND COMPOUND SEMICONDUCTOR INTEGRATED CIRCUITS AND TECHNOLOGY SYMPOSIUM (BCICTS), 2020,
[14] Infant Mortality Tests for Analog and Mixed-Signal Circuits
Banerjee, Suvadeep
Natarajan, Suriyaprakash
2016 IEEE 34TH VLSI TEST SYMPOSIUM (VTS), 2016,
[15] Accelerated Design of Analog, Mixed-Signal Circuits with Titan™
Devgan, Anirudh
Basaran, Bulent
Colleran, David
Hershenson, Mar
ISPD 2009 ACM INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, 2009, : 67 - 71
[16] Symbolic model checking of Analog/Mixed-Signal circuits
Walter, David
Little, Scott
Seegmiller, Nicholas
Myers, Chris J.
Yoneda, Tomohiro
PROCEEDINGS OF THE ASP-DAC 2007, 2007, : 316 - +
[17] Pseudorandom Test of Nonlinear Analog and Mixed-Signal Circuits Based on a Volterra Series Model
Park, Joonsung
Shin, Hongjoong
Abraham, Jacob A.
JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2011, 27 (03): : 321 - 334
[18] Verification-oriented behavioral modeling of nonlinear analog parts of mixed-signal circuits
Freibothe, Martin
Doge, Jens
Coym, Torsten
Ludwig, Stefan
Straube, Bernd
Kock, Ernst
ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS, 2007, : 37 - +
[19] Pseudorandom Test of Nonlinear Analog and Mixed-Signal Circuits Based on a Volterra Series Model
Joonsung Park
Hongjoong Shin
Jacob A. Abraham
Journal of Electronic Testing, 2011, 27
[20] Verifying Dynamic Properties of Nonlinear Mixed-Signal Circuits via Efficient SMT-based Techniques
Yin, Leyi
Deng, Yue
Li, Peng
2012 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2012, : 436 - 442

← 1 2 3 4 5 →