You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Simulation vs. <strong>Verification</strong><br />
Simulation checks only some of the<br />
reachable states. For non-trivial designs<br />
it is impossible to check all reachable<br />
states using simulation.<br />
<strong>Verification</strong> uses symbolic methods<br />
to check all reachable states.<br />
simulation traces<br />
initial states<br />
reachable state<br />
reachable state that<br />
violates assertions