7-valued algebra for transition delay fault analysis

A novel transition delay fault (TDF) analysis algorithm based on 7-valued algebra is presented. The algorithm classifies the fault detection conditions into four classes: robust, non-robust robust functional sensitization, and non-robust functional sensitization of transition delay faults. The last class is introduced the first time. A new method is presented for calculation of the TDF coverage for all the four sensitization classes.