Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Electrical & Computer Engineering |
Creator |
Myers, Chris J. |
Other Author |
Walter, David; Little, Scott; Seegmiller, Nicholas; Yoneda, Tomohiro |
Title |
Symbolic model checking of analog/mixed-signal circuits* |
Date |
2007 |
Description |
Abstract- This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware description language for AMS circuits. The VHDLAMS description is compiled into labeled hybrid Petri nets (LHPNs) in which analog values are modeled as continuous variables that can change at rates in a bounded range and digital values are modeled using Boolean signals. System properties are specified as temporal logic formulas using timed CTL (TCTL). The verification proceeds over the structure of the formula and maps separation predicates to Boolean variables. The state space is thus represented as a Boolean function using a binary decision diagram (BDD) and the verification algorithm relies on the efficient use of BDD operations. |
Type |
Text |
Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
First Page |
316 |
Last Page |
323 |
Language |
eng |
Bibliographic Citation |
Walter, D., Little, S., Seegmiller, N., Myers, C. J., & Yoneda, T. (2007). Symbolic model checking of analog/mixed-signal circuits*. Asia and South Pacific Design Automation Conference, 316-23. January. |
Rights Management |
(c) 2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
Format Medium |
application/pdf |
Format Extent |
227,482 bytes |
Identifier |
ir-main,15003 |
ARK |
ark:/87278/s60z7mjf |
Setname |
ir_uspace |
ID |
703778 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s60z7mjf |