Gomes, Gabriel, Julio Avelar, Gabriel Oliveira, Enzo Bertoloti, and Rodolfo Azevedo.
" Large-Scale RISC-V Processor Verification Using Automated Design Inspection and a Generic Simulation Method." <em>Anais do XXVI Simpósio em Sistemas Computacionais de Alto Desempenho,
Bonito/MS, 2025</em>. SBC, 2025,  
pp.181-192.