Distributed diagnostic simulation of stuck-at faults in sequential circuits | IEEE Conference Publication | IEEE Xplore