RISC-V Architectural Functional Verification
May 22, 202510xEngineers Engineering/Global, 2024–25
Liaison(s): Huda Sajjad, Fatima Saleem, Umer Shahid
Advisor(s): David Harris
Students(s): Hamza Jamal (TL), Ahlyssa Santillana, Corey Hickson, Vikram Krishna (F), Jordan Carlin (S), Roman De Santos (S), Marina Bellido (S)
The 10xEngineers Clinic team developed a suite of SystemVerilog coverpoints and RISC-V assembly-language tests to achieve architectural functional verification of the RVA22S64 profile. The team used these tests to verify the open-source CORE-V WALLY to Technology Readiness Level 5. Additionally, the project has contributed these open-source tests for microcontrollers and application processors to RISC-V International.