Herramienta para la detección de fallas de funcionalidad en microprocesadores debidas a sensibilidad a variaciones en la frecuencia de operación por Williams Meneses, Christopher