Juncao Li Fei Xie Huaiyu Liu Guiding Component-Based Hardware/Software Co-Verification with Patterns. 67-74 2007 conf/euromicro/2007 EUROMICRO-SEAA http://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.33 db/conf/euromicro/euromicro2007.html#LiXL07