An algebraic method for delay fault testing

This paper presents an algebraic method allowing an accurate analysis of delay faults. This method is based on the fact that some input values remain constant when two successive input vectors are applied. For a transition between two input states, the output function is reduced to a function of few variables. An analysis of the reduced function allows one to obtain the delay faults which are detected by the corresponding transition. The analysis allows one to know if a fault is robustly testable or non robustly testable and validatable, or weakly verifiable: in every case the corresponding tests are obtained. An application of the results to random testing of faults allows one to observe that some non robustly testable faults are easier to detect than some robustly testable faults