GOMES, Gabriel; 						AVELAR, Julio; 						OLIVEIRA, Gabriel; 						BERTOLOTI, Enzo; 						AZEVEDO, Rodolfo.
 Large-Scale RISC-V Processor Verification Using Automated Design Inspection and a Generic Simulation Method. <em>In</em>: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 26.	, 2025, Bonito/MS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 181-192. 
		DOI: <a href="https://doi.org/10.5753/sscad.2025.16339">https://doi.org/10.5753/sscad.2025.16339</a>.