Luc Séméria, Abhijit Ghosh. Methodology for hardware/software co-verification in C/C++ (short paper). In Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan. pages 405-408, ACM, 2000. [doi]
Abstract is missing.