Este documento propone el uso de un código polinómico para la síntesis de dispositivos digitales de autoverificación. El código se elige por sus características de detección de errores en símbolos de datos y se utiliza para la corrección de señales booleanas en circuitos de control integrados. En la práctica, es posible equipar el dispositivo con la capacidad de detectar fallas. A diferencia de los enfoques encontrados en la literatura mundial para resolver este problema, esta propuesta sugiere identificar grupos de salidas estructuralmente independientes para distinguir entre salidas convertibles y no convertibles del bloque diagnosticado en el circuito de control integrado. Las únicas salidas que pueden convertirse son aquellas que se utilizan como símbolos de verificación para el código polinómico en el circuito de control integrado. Las demás funciones permanecen sin cambios. Los códigos polinómicos se utilizan para seleccionarlos. Los autores presentan algoritmos para sintetizar dispositivos de detección de fallas utilizando el enfoque propuesto.