Diagnostic simulation of sequential circuits using fault sampling | IEEE Conference Publication | IEEE Xplore