Alemán-Arce, M. A. .; Mendoza-Acevedo, S.; Oliva-Moreno, L. N. Verificación Funcional De Sistemas Digitales Descritos En HDL Mediante Ambientes UVM Basado En Agentes. ICBI 2024, 12, 1-6.