A Deterministic Methodology for Identifying Functionally Untestable Path-Delay Faults in Microprocessor Cores | IEEE Conference Publication | IEEE Xplore