A generic micro-architectural test plan approach for microprocessor verificationAllon AdirHezi Azatchiet al.2005DAC 2005