Tutorial: Running the Architectural Compatibility Tests on your Model: Th...

on YouTube ↗01h 19m

" summary

Step-by-step recipe to run the RISC‑V ACTs: use riskov to parse the ACT suite into a database and filtered testlist, compile tests with riscv‑gnu‑toolchain against a reference SAIL/Spike model (SAIL available as a Docker image), run DUT plugins that dump signatures named as <impl>.signature, and let riskov compare signatures. Requires Python 3.6+, a reference ISS, and ~1.14 GB of RAM today; signatures are 4 bytes per line little‑endian.

AI-written summary · about

" chapters (8)

1. 0:00Introduction to ACT
2. 8:31Overview of RISCV Config
3. 15:57Testing environment setup
4. 23:27Test harness examples
5. 31:41Writing RISCV plugin
6. 45:00Debugging ACT tests
7. 1:05:15Future of architectural testing
8. 1:18:23Q&A

" related talks

• 53mRISC-V Architectural Certification Tests Early Adoption WorkshopDavid Harris, Jordan Carlin · RISC-V Summit Europe 2026 Developer Workshops
• 24mRISC V Processor Verification based on Open source FrameworkLee Moore, Richard Ho · RISC-V Summit 2019
• 22mRiscof - A Risc-V Compliance Framework and MoreNeel Gala · RISC-V Global Forum 2020
• 16mAutomated Certification and Benchmarking for RISC-V ArchitecturesEnrique Pallares · RISC-V Summit North America 2025
• 15mThe RISC-V Verification Ecosystem with Open Standards and Commercial ToolsJon Taylor · RISC-V Summit Europe 2023
• 24mVerifying All the Flexibility of RISC-V within SoC DV Test PlansSimon Davidmann, Lee Moore · RISC-V Global Forum 2020
• 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