Alemán-Arce, Miguel Angel, et al. «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, vol. 12, n.º Especial4, noviembre de 2024, pp. 1-6, doi:10.29057/icbi.v12iEspecial4.13286.