Innovative Verification Strategy Reduces Design Cycle Time for High-End Sparc Processor. - Val Popescu; Bill McNamara (DAC, 1996)