43 search results - page 2 / 9 » Symbolic Model Checking of Analog Mixed-Signal Circuits |
BMAS
2000
IEEE
15 years 1 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
15 years 2 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...
111
click to vote
MTV
2007
IEEE
15 years 3 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
15 years 3 months ago
2007
Springer
ICCAD
2000
IEEE
15 years 1 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 ...