FAST-SC: Fast Fault Simulation in Synchronous Sequential circuits | IEEE Conference Publication | IEEE Xplore