SAT-controlled redundancy addition and removal: a novel circuit restructuring technique 會議 ASP-DAC 年份 2009 作者：Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang
