On the nonenumerative path delay fault simulation problem | IEEE Journals & Magazine | IEEE Xplore