SPADES: a simulator for path delay faults in sequential circuits | IEEE Conference Publication | IEEE Xplore