Ping Hang Cheung Kecheng Hao Fei Xie Component-Based Hardware/Software Co-Simulation. 265-270 2007 DSD http://dx.doi.org/10.1109/DSD.2007.4341479 conf/dsd/2007 db/conf/dsd/dsd2007.html#CheungHX07