Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platformsDebapriya ChatterjeeBiruk Mammoet al.2013ICCAD 2013Conference paper
Approximating checkers for simulation accelerationBiruk MammoDebapriya Chatterjeeet al.2012DATE 2012Conference paper