Template Aware Coverage: Taking Coverage Analysis to the Next LevelRaviv GalEinat Kermanyet al.2017DAC 2017Conference paper
Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systemsKlaus-Dieter SchubertWolfgang Roesneret al.2011IBM J. Res. DevPaper