Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platformsDebapriya ChatterjeeBiruk Mammoet al.2013ICCAD 2013