Electronic Design Automation - Wang, Laung-Terng (Elsevier, 2011)