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