"A case of system-level hardware/software co-design and co-verification of ..."

Sungpack Hong et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics