Alemán-Arce, M.A. et al. 2024. Verificación Funcional de sistemas digitales descritos en HDL mediante ambientes UVM basado en agentes. Pädi Boletín Científico de Ciencias Básicas e Ingenierías del ICBI. 12, Especial4 (nov. 2024), 1–6. DOI:https://doi.org/10.29057/icbi.v12iEspecial4.13286.