MEDS UET Leads International Collaboration on RISC-V Architectural Functional Verification
We are happy to announce that our Lab MEDS UET is spearheading an exciting new research project in collaboration with Harvey Mudd College (HMC), Habib University, and 10xEngineers. The project, titled “RISC-V Architectural Functional Verification,” aims to make significant contributions to the open-source community and advance the field of computer architecture verification.
Project Overview
The primary goals of this project are:
1. Develop open-source RISC-V architectural functional verification tests
2. Provide students with hands-on experience in logic verification and computer architecture
3. Foster international collaboration and teamwork skills among participating students
Key Objectives and Deliverables
Our team is focused on producing architectural functional verification tests for all required features of the RVA22S64 profile. We aim to demonstrate these tests by elevating the CORE-V Wally core to Technology Readiness Level 5. Specific deliverables include:
1. Comprehensive design verification plans for RVA22S64 features, including:
– Zicsr Sm1p13 (CSR operations, privileged instructions, exceptions, and interrupts)
– User and Supervisor modes (CSRs, permissions, and mode-dependent behaviors)
– Virtual memory (Svbare, Sv39, Sv48, and various extensions)
– PMA and PMP
– Zicclsm misaligned loads/stores
2. SystemVerilog covergroups and coverpoints for each part of the DV Plan, utilizing the RISC-V Verification Interface (RVVI)
3. A tool for generating directed assembly language tests to exercise all coverpoints
4. Application of tests to the CORE-V Wally core, running in lock-step with ImperasDV, to achieve 100% functional coverage
Team and Collaboration
Our project team consists of four senior students from UET Lahore, working as interns at MEDS UET under the supervision of Umer Shahid. We are fortunate to have guidance and reviews from industry experts:
– Mike Thompson at the OpenHW Group
– James Stine and Rose Thompson at Oklahoma State University
This international collaboration provides a unique opportunity for our students to gain exposure to global perspectives and industry best practices.
Impact and Future Prospects
By contributing to the open-source RISC-V ecosystem, we are not only advancing the field of computer architecture but also empowering future generations of engineers. This project will help bridge the gap between academic research and industry needs, potentially accelerating the adoption of RISC-V architecture in various applications.
We are excited about the learning opportunities this project presents for our students and the potential for long-lasting partnerships with our collaborating institutions. As we progress, we look forward to sharing updates and insights from our work.
Stay tuned for more updates on this groundbreaking project!
—
For more information about our lab and our other research initiatives, please visit https://ee.uet.edu.pk/meds/