Simulation-based diagnosis for crosstalk faults in sequential circuits | IEEE Conference Publication | IEEE Xplore