A hardware-software co-simulator for embedded system design and debugging

Compiled Simulation of Programmable DSP Architectures

Journal of VLSI Signal Processing Systems - Special issue on the 1995 VLSI signal processing workshop

Optimistic distributed timed cosimulation based on thread simulation model

Proceedings of the 6th international workshop on Hardware/software codesign

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

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference

Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures

Proceedings of the 2001 Asia and South Pacific Design Automation Conference

Application of Multi-domain and Multi-language Cosimulation To an Optical MEM Switch Design

ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference

Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2

A cosimulation methodology for HW/SW validation and performance estimation

ACM Transactions on Design Automation of Electronic Systems (TODAES)