PARIS: a parallel pattern fault simulator for synchronous sequential circuits | IEEE Conference Publication | IEEE Xplore