Mejora y modernización de herramientas de verificación de circuitos electrónicos para una empresa de diseño de semiconductores - Guzmán Rosales, Gustavo (2011)