@misc{indiciae75ba7d487f2f,
  title = {SIMT-Aware Lockstep Verification and Functional-Coverage Closure Methodology for an Open-Source RISC-V GPGPU: A UVM 1.2 Environment},
  author = {Samuel Moussa and Steven Ibrahim and Ahmad Sudky and Ahmad Fawzy and Abanoub Nabil and Alhassan Sayed and Hossam Hassan and Hyung-Min Yoon},
  year = {2026},
  url = {https://arxiv.org/abs/2609.13311},
  note = {Source identifier: 2609.13311}
}