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