Fei Xie Guowu Yang Xiaoyu Song Component-based hardware/software co-verification. 27-36 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695897 db/conf/memocode/memocode2006.html#XieYS06