2 search results - page 1 / 1 » Verifying analog oscillator circuits using forward backward ... |
75
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
145
Voted
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...