Electronic design automation synthesis, verification, and test - Wang, Laung-Terng; Chang, Yao-Wen 1966-; Cheng, Kwang-Ting 1961- (Morgan Kaufmann/Elsevier, 2009)