43 search results - page 3 / 9 » Symbolic Model Checking of Analog Mixed-Signal Circuits |
VTS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents an algorithm based on testability measurement for test point insertion of mixed-signal circuits. Two transfer function models compatible with analog models are...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In today’s flows, there is still a gap between system level description and hardware implementation, especially for analog/RF building blocks. SystemC-AMS or co-simulations have...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
We propose a hierarchical mixed signal design methodology based on the principles of Platform-Based Design (PBD). The methodology is a meet-in-the-middle approach where design com...
FMSD
2010
13 years 6 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
FDL
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...