A generic micro-architectural test plan approach for microprocessor verificationAllon AdirHezi Azatchiet al.2005DAC 2005
Advanced analysis techniques for cross-product coverageHezi AzatchiLaurent Fournieret al.2005HLDVT 2005
Integrating generations with advanced reference counting garbage collectorsHezi AzatchiErez Petrank2006CCPE