"Innovative Verification Strategy Reduces Design Cycle Time for High-End ..."

Val Popescu, Bill McNamara (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics