Interpolation-based incremental ECO synthesis for multi-error logic rectification 會議 DAC 年份 2011 作者：Kai-Fu Tang, Chi-An Wu, Po-Kai Huang, Chung-Yang (Ric) Huang
