Electronic Design Automation by Wei Wang, Laung-Terng Wang & Yao-Wen Chang