Scalable RTL in Design and Verification
Scalable RTL in Design and Verification
Scalable RTL in Design and Verification
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Application of <strong>Scalable</strong> <strong>RTL</strong> StrategyFormal Analysis• Scalability enables more formal analysis• Significant advantages of formal over simulation– Exhaustive– Easier testbench creation• Clocks• No RNGs needed• Assumptions as drivers– Locates bugs difficult or impossible for simulation• Focus block is a good c<strong>and</strong>idate<strong>Scalable</strong> <strong>RTL</strong> <strong>in</strong> <strong>Design</strong> <strong>and</strong> <strong>Verification</strong> 9/17/2007 Page 14