Author: Tex.) International Workshop on Microprocessor Test and Verification (4th : 2003 : Austin