J. S. Eslava Garzón y H. A. González Díaz, «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 Rev. Fac. Ing., vol. 13, n.º 26, pp. 126–145, jun. 2013.