"Design and coverage-driven verification of a novel network-interface IP ..."

Sergio Saponara, Luca Fanucci, Marcello Coppola (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics