On fault deletion problem in concurrent fault simulation for synchronous sequential circuits | IEEE Conference Publication | IEEE Xplore