Compositional Reasoning for Hardware/Software Co-verification. - Xie, Fei; Yang, Guowu; Song, Xiaoyu (2006)