Electronic design automation : synthesis, verification, and test - Wang, Laung-Terng. (Morgan Kaufmann/Elsevier, 2009)