Vector Compliance Testing for RISC-V

on YouTube ↗25m

" summary

NSITEXE applies the Imperas reference model Imperas riscvOVPsim plus the Directed Compliance Test Generator to produce a vector Compliance Test Suite configured for a specific DL-1000 vector setup; generated tests reach roughly 95%+ functional instruction coverage overall (fixed-point subset ~93%) and expose two specification-interpretation bugs in the DL-1000 implementation, enabling confirmation of conformance to the RISC‑V v0.8 vector spec for the tested configuration.

AI-written summary · about

" chapters (10)

1. 0:00Introduction and welcome
2. 0:23RISC-V architecture and value
3. 6:54Nsitex vision and products
4. 7:15DFP architecture overview
5. 13:16Vector compliance testing need
6. 13:59Emperor’s vector test suite
7. 20:27Test results and findings
8. 21:31Emperor’s compliance efforts
9. 23:36Summary and future plans
10. 24:40Q&A and closing

" related talks

• 16mAutomatic Test Generation and Verification for RISC-V Vector ExtensionXi Wang, Shenwei Hu · RISC-V Summit 2022
• 17mDemo: RISC-V Models for Verification, Software Development and Architectural Explor...Larry Lapides · RISC-V Summit 2022
• 21mThe New Verification Ecosystem that Supports RISC-V Verification fo...Lee Moore, John Sotiropoulos · RISC-V Summit 2022
• 20mRISC-V Vector Sail Model and Test GenerationXi Wang, Yifei Zhu · RISC-V Forum: Vector & Machine Learning 2021
• 11mDemo: More Than Point Tools: RISC-V SolutionsLarry Lapides · RISC-V Summit North America 2024
• 18mRISC-V Spotlight: Improving RISC-V Quality with Verification Standards and Advanc...Simon Davidmann · RISC-V Summit 2022
• 14mKeynote: Solving the Conundrum of Custom InstructionsSimon Davidmann · RISC-V Summit North America 2023
• 09mBreaking the RISC-V Processor Customization Barrier with Formal VerificationSven Beyer · RISC-V Summit Europe 2024