Template Aware Coverage: Taking Coverage Analysis to the Next LevelRaviv GalEinat Kermanyet al.2017DAC 2017Conference paper
ArChiVED: Architectural checking via event digests for high performance validationChang-Hong HsuDebapriya Chatterjeeet al.2014DATE 2014Conference paper
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platformsDebapriya ChatterjeeBiruk Mammoet al.2013ICCAD 2013Conference paper