DFSIM: A Gate-Delay Fault Simulator for Sequential Circuits. - P. Cavallera; Patrick Girard 001; Christian Landrault; Serge Pravossoudovitch (ED&TC, 1996)