Ye Wu Hai Jiang Chao Wei Design of a Hardware/Software Co-Simulation/Verification Platform. 488-491 2007 conf/imecs/2007 IMECS db/conf/imecs/imecs2007.html#WuJW07