Implementation-Independent Test Generation for a Large Class of Faults in RISC Processor Modules | IEEE Conference Publication | IEEE Xplore