High-Level Functional Test Generation for Microprocessor Modules | IEEE Conference Publication | IEEE Xplore