Template Aware Coverage: Taking Coverage Analysis to the Next LevelRaviv GalEinat Kermanyet al.2017DAC 2017Conference paper
Verification of transactional memory in POWER8Allon AdirDave Goodmanet al.2014DAC 2014Conference paper