NEST: a nonenumerative test generation method for path delay faults in combinational circuits | IEEE Journals & Magazine | IEEE Xplore