Gomes, G., 		Avelar, J., 		Oliveira, G., 		Bertoloti, E., & 		Azevedo, R.
(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>, (pp. 181-192). Porto Alegre: SBC.
doi:10.5753/sscad.2025.16339