An efficient method to identify untestable path delay faults | IEEE Conference Publication | IEEE Xplore