Component-based hardware/software co-verification.

Fei Xie, Guowu Yang, Xiaoyu Song

Browse the full MEMOCODE paper archive.