Design Automation and Optimization - Krishnendu Chakrabarty; Tao Xu (Taylor and Francis, 2010)