"Real World" Problems in the Analog and Mixed Signal Domains
"Real World" Problems in the Analog and Mixed Signal Domains
"Real World" Problems in the Analog and Mixed Signal Domains
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Digital Abstraction<br />
• States are discrete <strong>and</strong> countable<br />
• Must verify <strong>the</strong> properties at all states<br />
DCC 08<br />
Slide 5<br />
Digital Verification<br />
• Exhaustive simulation<br />
DCC 08<br />
• Directed pseudo-r<strong>and</strong>om simulation<br />
• Coverage based<br />
• Formal methods<br />
• BDD based exhaustive state analysis<br />
• Symbolic simulation<br />
• Tools: Specman, SystemVerilog,<br />
Equivalence checkers, Model checkers,<br />
Theorem Provers, …<br />
Slide 6<br />
0<br />
0<br />
1<br />
0