"Functional verification methodology based on formal interface ..."

Felice Balarin, Roberto Passerone (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics