Scalable RTL in Design and Verification
Scalable RTL in Design and Verification Scalable RTL in Design and Verification
Prior Design WorkCM CM CMRU RU RUIMIUPUPMImplementation andVerification StrategiesIMIMIUIUXBUPUPUPMPM• Quick unit development– Verification advantages– Physical advantagesKeyIM- I/O ModelCM- Common ModelPM- Processor ModelMM- Memory ModelRU- Remote UnitMU- Memory UnitPU- Processor UnitXBU- Crossbar UnitMU MU MUMM MM MM• Limited model developmentCM• Workhorse unit testbenches• System testbenchesCMPUPM• Formal usage• Fully synthesizabletestbenchesXBUCMKeyCM- Common ModelPM- Processor ModelPU- Processor UnitXBU- Crossbar UnitCMScalable RTL in Design and Verification 9/17/2007 Page 4
Prior Design WorkRN RN RNRU RU RUI/OIUPUPDetailed DescriptionI/OIUXBUPUP• FIFOsI/OIUPUP• Trackers• CountersKeyI/O- I/O BridgeRN- Remote NodeM- MemoryP- ProcessorIU- I/O UnitRU- Remote UnitMU- Memory UnitPU- Processor UnitXBU- Crossbar UnitMU MU MUM M MI/O IU MU M PU PKeyI/O- I/O BridgeIU- I/O UnitMU- Memory UnitM- MemoryPU- Processor UnitP- ProcessorScalable RTL in Design and Verification 9/17/2007 Page 5
- Page 1 and 2: Scalable RTL in Design and Verifica
- Page 3: MMMMMMPrior Design WorkI/OI/ONCPPI/
- 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 and 18: ResultsImplementation• 19 logical
- Page 19 and 20: ResultsVerification• More focused
- Page 21 and 22: ResultsFormal Analysis• More typi
- Page 23 and 24: ConclusionsIntroducing RTL Scalabil
Prior <strong>Design</strong> WorkCM CM CMRU RU RUIMIUPUPMImplementation <strong>and</strong><strong>Verification</strong> StrategiesIMIMIUIUXBUPUPUPMPM• Quick unit development– <strong>Verification</strong> advantages– Physical advantagesKeyIM- I/O ModelCM- Common ModelPM- Processor ModelMM- Memory ModelRU- Remote UnitMU- Memory UnitPU- Processor UnitXBU- Crossbar UnitMU MU MUMM MM MM• Limited model developmentCM• Workhorse unit testbenches• System testbenchesCMPUPM• Formal usage• Fully synthesizabletestbenchesXBUCMKeyCM- Common ModelPM- Processor ModelPU- Processor UnitXBU- Crossbar UnitCM<strong>Scalable</strong> <strong>RTL</strong> <strong>in</strong> <strong>Design</strong> <strong>and</strong> <strong>Verification</strong> 9/17/2007 Page 4