Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family | IEEE Conference Publication | IEEE Xplore