Eslava Garzón, J.S. y González Díaz, H.A. 2013. Diseño e implementación de un sistema de verificación funcional utilizando la técnica de aceleración por hardware para optimizar el diseño de sistemas electrónicos digitales. Ingenium. 13, 26 (jun. 2013), 126–145. DOI:https://doi.org/10.21500/01247492.1288.