Deming Chen Design Automation for Microelectronics. 653-670 2009 Handbook of Automation http://dx.doi.org/10.1007/978-3-540-78831-7_38 reference/auto/2009 db/reference/auto/auto2009.html#Chen09