Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.

Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco

Browse the full ICCAD paper archive.