An Integrated UVM-TLM Co-Simulation Framework for RISC-V Functional Verification and Performance Evaluation
By: Ruizhi Qiu, Yang Liu
Potential Business Impact:
Tests computer chips faster and better.
The burgeoning RISC-V ecosystem necessitates efficient verification methodologies for complex processors. Traditional approaches often struggle to concurrently evaluate functional correctness and performance, or balance simulation speed with modeling accuracy. This paper introduces an integrated co-simulation framework leveraging Universal Verification Methodology (UVM) and Transaction-Level Modeling (TLM) for RISC-V processor validation. We present a configurable UVM-TLM model (vmodel) of a superscalar, out-of-order RISC-V core, featuring key microarchitectural modeling techniques such as credit-based pipeline flow control. This environment facilitates unified functional verification via co-simulation against the Spike ISA simulator and enables early-stage performance assessment using benchmarks like CoreMark, orchestrated within UVM. The methodology prioritizes integration, simulation efficiency, and acceptable fidelity for architectural exploration over cycle-level precision. Experimental results validate functional correctness and significant simulation speedup over RTL approaches, accelerating design iterations and enhancing verification coverage.
Similar Papers
From Concept to Practice: an Automated LLM-aided UVM Machine for RTL Verification
Hardware Architecture
Makes computer chips faster to build.
Integrating SystemC TLM into FMI 3.0 Co-Simulations with an Open-Source Approach
Computation and Language
Connects car computer parts for better testing.
FERIVer: An FPGA-assisted Emulated Framework for RTL Verification of RISC-V Processors
Hardware Architecture
Tests computer chips 150 times faster.