A nonenumerative ATPG for functionally sensitizable path delay faults | IEEE Conference Publication | IEEE Xplore