Design Fault Directed Test Generation for Microprocessor Validation | IEEE Conference Publication | IEEE Xplore