A semi-formal min-cost buffer insertion technique considering multi-mode multi-corner timing constraints | IEEE Conference Publication | IEEE Xplore