ALEMÁN-ARCE, Miguel Angel; MENDOZA-ACEVEDO, Salvador; OLIVA-MORENO, Luz Noe. 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, [S. l.], v. 12, n. Especial4, p. 1–6, 2024. DOI: 10.29057/icbi.v12iEspecial4.13286. Disponível em: https://repository.uaeh.edu.mx/revistas/index.php/icbi/article/view/13286. Acesso em: 28 jul. 2025.