TY  - RPRT
TI  - SIMT-Aware Lockstep Verification and Functional-Coverage Closure Methodology for an Open-Source RISC-V GPGPU: A UVM 1.2 Environment
AU  - Samuel Moussa
AU  - Steven Ibrahim
AU  - Ahmad Sudky
AU  - Ahmad Fawzy
AU  - Abanoub Nabil
AU  - Alhassan Sayed
AU  - Hossam Hassan
AU  - Hyung-Min Yoon
PY  - 2026
UR  - https://arxiv.org/abs/2609.13311
ID  - 2609.13311
ER  -