High-Level Fault Diagnosis in RISC Processors with Implementation-Independent Functional Test | IEEE Conference Publication | IEEE Xplore