Barrera Comeche, Vicente(Universitat Politècnica de València, 2022-10-14)
[ES] El presente TFG busca desarrollar un banco de pruebas mediante la metodología UVM que permita automatizar la verificación de un microprocesador RISC-V descrito en HDL que cumpla un juego de instrucciones determinado.
RISCV ...