Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun. A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware. In Ahmed Jerraya, Luca P. Carloni, Naehyuck Chang, Franco Fummi, editors, Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012. pages 513-520, ACM, 2012. [doi]
Abstract is missing.