The RISC-V Verification Ecosystem with Open Standards and Commercial Tools

on YouTube ↗15m

" summary

RISC-V verification requires scaling beyond ad hoc tests to meet one quadrillion cycles of coverage estimated for modern CPUs, a number that RTL simulation at kilohertz or single emulators at megahertz cannot reach in realistic time. The ecosystem pushes reusable verification IP, functional coverage and golden reference models (Imperas models used as oracles), instruction-retire lockstep and RVVI interface (Apache‑licensed) for plug‑in testbenches, plus formal and asynchronous lockstep to find hard corner bugs.

AI-written summary · about

" chapters (9)

1. 0:00Introduction and speaker welcome
2. 1:02Verification ecosystem importance
3. 3:52Verification challenges in modern systems
4. 7:47Silicon success risks and costs
5. 8:49Collaboration in verification
6. 10:12Empiris role in RISC-V verification
7. 11:58Verification techniques progression
8. 13:23RISC-V verification interface RVVI
9. 14:27Summary and call to action

" related talks

• 23mThe Continuum of RISC-V Compliance and Verification TestingSimon Davidmann, Allen Baum · RISC-V Summit 2022
• 24mRISC V Processor Verification based on Open source FrameworkLee Moore, Richard Ho · RISC-V Summit 2019
• 10mDemo: Introduction to RISC-V Verification with the Open Standard RVVI (RISC-V Verifi...Aimee Sutton · RISC-V Summit 2022
• 46mRISC-V Open ISA’s Shock Wave of Processor Innovation Causing Seismic ShiftMike Thompson, Simon Davidmann, Ann Mutschler, Richard Ho, Emerson Hsiao, Dave Kelf, Frank Schirrmeister · RISC-V Summit 2019
• 13mIntroduction to RISC-V Processor VerificationLarry Lapides · embedded world 2022
• 47mTutorial: Choosing Appropriate Verification Techniques for Desired RISC...Aimee Sutton, Lee Moore · RISC-V Summit 2022
• 23mOpen Source Verification Platform for RISC V ProcessorsTao Liu, Richard Ho · RISC-V Summit 2019
• 25mRISC-V System-level Certification from Verification FoundationsAdnan Hamid · RISC-V Summit North America 2025