ISA Based Functional Test Generation with Application to Self-Test of RISC Processors | IEEE Conference Publication | IEEE Xplore