"Hardware Design and Simulation for Verification."

Nicola Bombieri, Franco Fummi, Graziano Pravadelli (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics