"A fast hardware/software co-verification method for system-on-a-chip by ..."

Yuichi Nakamura et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics