Gabriel Gomes, Julio Avelar, Gabriel Oliveira, Enzo Bertoloti, and Rodolfo Azevedo. 2025.
 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>, outubro 28, 2025, Bonito/MS, Brasil. SBC, Porto Alegre, Brasil, 181-192. DOI: <a href="https://doi.org/10.5753/sscad.2025.16339">https://doi.org/10.5753/sscad.2025.16339</a>.