Cobertura de fallas

En electrónica digital , la cobertura de fallos se refiere a la cobertura de fallos fijos . ^{[ 1 ]} Se mide fijando cada pin del modelo de hardware en lógica '0' y lógica '1', respectivamente, y ejecutando los vectores de prueba. Si al menos una de las salidas difiere de lo esperado, se dice que se ha detectado el fallo. Conceptualmente, el número total de ejecuciones de simulación es el doble del número de pines (ya que cada pin se fija de una de dos maneras, y ambos fallos deben detectarse). Sin embargo, existen muchas optimizaciones que pueden reducir el cálculo necesario. En particular, a menudo se pueden simular muchos fallos no interactivos en una sola ejecución, y cada simulación puede terminarse tan pronto como se detecte un fallo.

Una prueba de cobertura de fallos se supera cuando se detecta al menos un porcentaje específico de todos los fallos posibles. Si no se supera, existen al menos tres opciones. En primer lugar, el diseñador puede ampliar o mejorar el conjunto de vectores, por ejemplo, utilizando una herramienta de generación automática de patrones de prueba más eficaz . En segundo lugar, se puede redefinir el circuito para mejorar la detectabilidad de fallos (mejor controlabilidad y observabilidad). En tercer lugar, el diseñador puede simplemente aceptar la menor cobertura.