"Electronic Design Automation : Synthesis, Verification ,& Test" - "Wang, Laung Terng" (Elsevier)