41 search results - page 1 / 9 » Time Domain Verification of Oscillator Circuit Properties |
ENTCS
2006
13 years 9 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
DAC
2007
ACM
14 years 10 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
ASYNC
2000
IEEE
14 years 1 months ago
2000
IEEE
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
GLVLSI
2006
IEEE
14 years 3 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...