Electronic design automation : synthesis, verification, and test - Chang, Yao-Wen (Elsevier/Morgan Kaufmann, 2009)