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