Comprehensive functional verification : the complete industry cycle / - Wile, Bruce, (Elsevier,, 2005)