A Deterministic Methodology for Identifying Functionally Untestable Path-Delay Faults in Microprocessor Cores