Gomes, G., 		Avelar, J., 		Oliveira, G., 		Bertoloti, E., & 		Azevedo, R.
2025 Oct 28.  Large-Scale RISC-V Processor Verification Using Automated Design Inspection and a Generic Simulation Method. Proceedings of the Symposium on High Performance Computing Systems (SSCAD). [Online] :