Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco. Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. In Jörg Henkel, editor, The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013. pages 311-317, IEEE/ACM, 2013. [doi]
Abstract is missing.