Creación de un ambiente de verificación usando UVM para un bus AXI4-Lite para una arquitectura RISC-V de 32 bits. - Rivera-Arrieta, Irene Beatriz (I. B. Rivera A., 2018)