Riscof - A Risc-V Compliance Framework and More

on YouTube ↗22m

" summary

Riscof is an open-source Python+YAML compliance framework that wires together RISC-V config (YAML device specs and validation), a human-readable CGF coverage format (6,000+ cover points for 37 instructions in <1,000 lines), an extractor (Isaac) that parses Spike/Sail traces into HTML/YAML coverage, and a constraint-based CTG test generator that makes 35 RV32I tests in <3.5 minutes (randomized runs ~15s). It produces signatures, compares DUT vs reference, and packages as PyPI modules under permissive licenses.

AI-written summary · about

" chapters (9)

1. 0:00Intro
2. 1:36Goal of RISCOF?
3. 2:50Components of RISCOF
4. 4:26RISCV-CONFIG
5. 7:20CGF: Coverage Group Format
6. 10:26RISCV-ISAC: ISA Coverage Extraction Tool
7. 12:49RISCV-CTG: Compliance Test Generator
8. 15:39Test Format Requirements
9. 17:34RISCOF: RISC-V Compliance Framework

" related talks

• 24mRISC V Processor Verification based on Open source FrameworkLee Moore, Richard Ho · RISC-V Summit 2019
• 01h 19mTutorial: Running the Architectural Compatibility Tests on your Model: Th...Pawan Kumar, Neel Gala · RISC-V Summit 2022
• 53mRISC-V Architectural Certification Tests Early Adoption WorkshopDavid Harris, Jordan Carlin · RISC-V Summit Europe 2026 Developer Workshops
• 15mThe RISC-V Verification Ecosystem with Open Standards and Commercial ToolsJon Taylor · RISC-V Summit Europe 2023
• 25mRISC-V System-level Certification from Verification FoundationsAdnan Hamid · RISC-V Summit North America 2025
• 23mOpen Source Verification Platform for RISC V ProcessorsTao Liu, Richard Ho · RISC-V Summit 2019
• 16mAutomatic Test Generation and Verification for RISC-V Vector ExtensionXi Wang, Shenwei Hu · RISC-V Summit 2022
• 16mAutomated Certification and Benchmarking for RISC-V ArchitecturesEnrique Pallares · RISC-V Summit North America 2025