A sequential circuit fault simulation by surrogate fault propagation | IEEE Conference Publication | IEEE Xplore