Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors familyLaurent FournierYaron Arbetmanet al.1999DATE 1999