Genesys-Pro: Innovations in test program generation for functional processor verificationAllon AdirEli Almoget al.2004IEEE Design and Test of Computers