Verification-oriented behavioral modeling of nonlinear analog parts of mixed-signal circuits

被引：1

作者：

Freibothe, Martin ^{[1
]}

Doge, Jens ^{[1
]}

Coym, Torsten ^{[1
]}

Ludwig, Stefan ^{[1
]}

Straube, Bernd ^{[1
]}

Kock, Ernst ^{[2
]}

机构：

[1] Fraunhofer Inst Integrierte Schaltungen, Branch Lab Design Automat, Zeunerstr 38, D-01069 Dresden, Germany

[2] Infineon Technol AG, Neuherberg, Germany

来源：

ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS | 2007年

关键词：

behavioral modeling; mixed-signal verification; semiformal methods;

D O I：

10.1007/978-1-4020-6149-3_3

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this work, an approach to the "verification-oriented" modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, continuous-valued behavioral representation of an analog part in terms of a differential -algebraic equation system, a discrete-time, discrete-valued behavioral model is derived. This kind of model both captures dynamic aspects of the analog behavior and can be implemented using the synthesizable subset of a hardware description language like VHDL. With the help of the proposed approach, the continuous-time, continuous-valued analog parts' behavioral descriptions can be replaced by digital behavioral models leading to a verification-oriented model of the underlying mixed-signal circuit. The resulting model can be formally verified using established methods and tools from formal digital verification.

引用

页码：37 / +

页数：3

共 12 条

[1]

Alur R., 1992, LECTURE NOTES COMPUT, V736, P209, DOI [DOI 10.1007/3-540-57318-6_30, 10.1007/3-540-45027-0_11, DOI 10.1007/3-540-45027-0_11]

[2]

BALIVADA A, 1995, 13 IEEE VLSI TESTT S, P42

[3] Observability and controllability of piecewise affine and hybrid systems [J].

Bemporad, A ;

Ferrari-Trecate, G ;

Morari, M .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (10) :1864-1876

[4]

BORMANN J, 2005, P EUR DESONCON 2005

[5]

Bucher M., 1998, Tech. Rep. Version 2.6

[6]

FREIBOTHE M, 2006, P 1 WORKSH FORM VER, V153, P23

[7]

GRABOWSKI D, 2005, ENTCS

[8]

GUPTA S, 2004, COMPUT AIDED DESIGN, P210

[9]

Hartong W, 2002, DES AUT CON, P542, DOI 10.1109/DAC.2002.1012684

[10] The theory of hybrid automata [J].

Henzinger, TA .

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, :278-292

← 1 2 →