A semi-formal min-cost buffer insertion technique considering multi-mode multi-corner timing constraints ASP-DAC 2012 2012 Authors: Shihheng Tsai, Man-Yu Li, Chung-Yang Huang