Técnicas de Diseño con Capacidad de Detección de Fallas para Circuitos Programables.