"Hardware Verification: Techniques, Methodology and Solutions."

Sharad Malik (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics