43 search results - page 2 / 9 » Symbolic Model Checking of Analog Mixed-Signal Circuits |
BMAS
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper describes a novel modeling methodology for electrothermal effects in large mixed-signal circuits. It is accomplished by developing analog event-driven electrothermal an...
ISCAS
2003
IEEE
13 years 11 months ago
2003
IEEE
SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This p...
MTV
2007
IEEE
13 years 12 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
ICCAD
2000
IEEE
13 years 10 months ago
2000
IEEE
In this paper, we present a novel approach to use test stimuli generated by digital components of a mixed-signal circuit for testing its analog components. A wavelet transform is ...