Facing the challenge of new design features: An effective verification approachWisam KadryRonny Moradet al.2011DAC 2011
Genesys-Pro: Innovations in test program generation for functional processor verificationAllon AdirEli Almoget al.2004IEEE Design and Test of Computers