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