Scalable RTL in Design and Verification
Scalable RTL in Design and Verification Scalable RTL in Design and Verification
ResultsPhysical• Easier integration of architectural changes– Adapting to fluctuating buffer size requirements– Adjusting interfaces to alleviate routing congestion– Resizing structures as performance considerations arerevisited• Changes made with confidence because of previousverification of scaled versions• Physical memory flexibility allowed for easy exploration ofbuffer structure trade-offsScalable RTL in Design and Verification 9/17/2007 Page 18
ResultsVerification• More focused verification– Smaller sizes used when targeting boundary condition logic– Specified sizes used when targeting throughput andbandwidth functioning• Large testbenches able to fit in more simulators• More effective use of accelerator• More design blocks made tractable for formal analysisScalable RTL in Design and Verification 9/17/2007 Page 19
- Page 1 and 2: Scalable RTL in Design and Verifica
- Page 3 and 4: MMMMMMPrior Design WorkI/OI/ONCPPI/
- Page 5 and 6: Prior Design WorkRN RN RNRU RU RUI/
- Page 7 and 8: Prior Design WorkPhysical Design Ha
- Page 9 and 10: Current & Future DesignsValid1 Pack
- Page 11 and 12: Application of Scalable RTL Strateg
- Page 13 and 14: Application of Scalable RTL Strateg
- Page 15 and 16: Application of Scalable RTL Strateg
- Page 17: ResultsImplementation• 19 logical
- Page 21 and 22: ResultsFormal Analysis• More typi
- Page 23 and 24: ConclusionsIntroducing RTL Scalabil
Results<strong>Verification</strong>• More focused verification– Smaller sizes used when target<strong>in</strong>g boundary condition logic– Specified sizes used when target<strong>in</strong>g throughput <strong>and</strong>b<strong>and</strong>width function<strong>in</strong>g• Large testbenches able to fit <strong>in</strong> more simulators• More effective use of accelerator• More design blocks made tractable for formal analysis<strong>Scalable</strong> <strong>RTL</strong> <strong>in</strong> <strong>Design</strong> <strong>and</strong> <strong>Verification</strong> 9/17/2007 Page 19