SAT-controlled redundancy addition and removal: a novel circuit restructuring technique
Chi-An Rocky Wu, Ting-Hao Lin, Shao‐Lun Huang, Chung-Yang Ric Huang · 2009
(SAT)-controlled redundancy addition and removal (RAR) algorithm to resolve the performance and quality problems of the previous RAR approaches. With the introduction of modern SAT techniques, such as efficient Boolean constraint propagation (BCP), conflict-driven learning, and flexible decision procedure, our RAR engine can identify 10x more alternative wires/gates while achieving 70 % reduction in runtime. I.