Comprehensive functional verification : the complete industry cycle / by 229150 Wile, Bruce, Goss, John C., Roesner, Wolfgang