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