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