P+P: parallel pattern and parallel fault simulator for synchronous sequential circuit | IEEE Conference Publication | IEEE Xplore