SAT-controlled redundancy addition and removal: a novel circuit restructuring technique.

Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang

Browse the full ASPDAC paper archive.