Verificación RISC-V: Enfoque práctico para diseños de próxima generación con Synopsys
Guía de verificación de RISC-V: del estándar al silicio con Verdi, AIP y verificación formal; modelos configurables y servicios de software, nube e IA de Q2BSTUDIO.
