Probabilistic bug-masking analysis for post-silicon tests in microprocessor verificationDoowon LeeyTom Kolanet al.2016DAC 2016
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platformsDebapriya ChatterjeeBiruk Mammoet al.2013ICCAD 2013