Preprint
Sep 2026
SIMT-Aware Lockstep Verification and Functional-Coverage Closure Methodology for an Open-Source RISC-V GPGPU: A UVM 1.2 Environment
A UVM 1.2 environment and methodology that wraps a bus-master SIMT DUT with role-inverted agents, integrates Vortex's functional simulator (SimX) as a per-configuration golden model over DPI-C, and renders verdicts via two injection-qualified checkers.
Samuel Moussa, Steven Ibrahim, Ahmad Sudky et al.
· 0 citations