M. A. . Alemán-Arce, S. Mendoza-Acevedo, y L. N. Oliva-Moreno, «Verificación Funcional de sistemas digitales descritos en HDL mediante ambientes UVM basado en agentes», ICBI, vol. 12, n.º Especial4, pp. 1–6, nov. 2024.