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