Electronic design automation : synthesis, verification, and test - Wang, Laung-Terng.; Chang, Yao-Wen, 1966-; Cheng, Kwang-Ting 1961- (Morgan Kaufmann series in systems on silicon., 2009)