Alemán-Arce MA, Mendoza-Acevedo S, Oliva-Moreno LN. Verificación Funcional de sistemas digitales descritos en HDL mediante ambientes UVM basado en agentes. ICBI [Internet]. 30 de noviembre de 2024 [citado 28 de julio de 2025];12(Especial4):1-6. Disponible en: https://repository.uaeh.edu.mx/revistas/index.php/icbi/article/view/13286