Trace-based microarchitecture-level diagnosis of permanent hardware faults