Gomes, G., 		Avelar, J., 		Oliveira, G., 		Bertoloti, E., & 		Azevedo, R.
2025 out 28.  Large-Scale RISC-V Processor Verification Using Automated Design Inspection and a Generic Simulation Method. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD). [Online] :