Implementation-Independent Functional Test Generation for RISC Microprocessors | IEEE Conference Publication | IEEE Xplore