co-verification

A Case of System-Level Hardware/Software Co-Design and Co-Verification of a Commodity Multi-Processor System with Custom Hardware
This paper presents an interesting system-level co-design and co-verification case study for a non-trivial design where multiple …
Sungpack Hong, Tayo Oguntebi, Jared Casper, Nathan Bronson, Christos Kozyrakis, Kunle Olukotun
Cite DOI