G. Gomes, J. Avelar, G. Oliveira, E. Bertoloti, and R. Azevedo.
" Large-Scale RISC-V Processor Verification Using Automated Design Inspection and a Generic Simulation Method", in <em>Anais do XXVI Simpósio em Sistemas Computacionais de Alto Desempenho</em>, Bonito/MS, 2025, pp. 181-192, doi: <a href="https://doi.org/10.5753/sscad.2025.16339">https://doi.org/10.5753/sscad.2025.16339</a>.