Publications

Muhammad Hammad Bashir, Umer Shahid, Muhammad Tahir, Yazan Hussnain, Fatima Saleem. Verification of CoreSwap: Replacing ARM Cortex-A5 with RISC-V CVA6 in ARM SoC Environment. RISC-V Summit Europe, Paris, France, 2025.
PDF Cite Poster Source Document
Huda Sajjad, Muhammad Hammad Bashir, Yazan Hussnain, Fatima Saleem. Comprehensive Verification of the RISC-V Memory Management Unit: Challenges and Solutions. RISC-V Summit Europe, Paris, France, 2025.
PDF Cite Poster Source Document
Muhammad Hammad Bashir, Umer Shahid, Allen Baum, S Pawan Kumar. Enhancing Privilege Architecture Support in RISC-V ISAC. RISC-V Summit Europe, Munich, Germany, 2024.
PDF Cite Code Poster Source Document