Gomes, Gabriel, 		Avelar, Julio, 		Oliveira, Gabriel, 		Bertoloti, Enzo, E 		Azevedo, Rodolfo.
" Large-Scale RISC-V Processor Verification Using Automated Design Inspection and a Generic Simulation Method" <em>Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD)</em> [Online], (28 outubro 2025)