Professional verification a guide to advanced functional verification / - Wilcox, Paul, (Kluwer Academic,)