Methodology for hardware/software co-verification in C/C++ (short paper).

Luc Smria, Abhijit Ghosh

Browse the full ASPDAC paper archive.