Scalable RTL in Design and Verification
Scalable RTL in Design and Verification
Scalable RTL in Design and Verification
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ResultsFormal Analysis• Small basel<strong>in</strong>e exampleproves quickly• Increas<strong>in</strong>g depth, width, ornumber of ports <strong>in</strong>creasesproof time• Depth most significantlyaffects “state explosion”<strong>Scalable</strong> <strong>RTL</strong> <strong>in</strong> <strong>Design</strong> <strong>and</strong> <strong>Verification</strong> 9/17/2007 Page 20