Sciweavers

Share
82 search results - page 1 / 17
» The Case for Analog Circuit Verification
Sort
View
ENTCS
2006
131views more  ENTCS 2006»
9 years 8 months ago
The Case for Analog Circuit Verification
The traditional approach to validate analog circuits is to utilize extensive SPICElevel simulations. The main challenge of this approach is knowing when all important corner cases...
Chris J. Myers, Reid R. Harrison, David Walter, Ni...
FMSD
2010
123views more  FMSD 2010»
9 years 6 months ago
Analog property checkers: a DDR2 case study
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...
Kevin D. Jones, Victor Konrad, Dejan Nickovic
FDL
2006
IEEE
9 years 11 months ago
Verification-Oriented Behavioral Modeling of Non-Linear Analog
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, c...
Martin Freibothe, Jens Doege, Torsten Coym, Stefan...
ICCBR
2003
Springer
10 years 1 months ago
Case Base Management for Analog Circuits Diagnosis Improvement
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
Carles Pous, Joan Colomer, Joaquím Mel&eacu...
ASPDAC
2007
ACM
158views Hardware» more  ASPDAC 2007»
9 years 12 months ago
Symbolic Model Checking of Analog/Mixed-Signal Circuits
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 des...
David Walter, Scott Little, Nicholas Seegmiller, C...
books