Professional verification : a guide to advanced functional verification - Wilcox, Paul, MBA (Kluwer Academic, 2004)