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

- We proposed a novel Boolean Satisfiability (SAT)-controlled redundancy addition and removal (RAR) algorithm to resolve the performance and quality problems of

• Type: Conference
• Year: 2009
• Where: ASPDAC
• Authors: Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang
• Keywords: ASPDAC 2009, Hardware, Quality Problems, SAT)-controlled Redundancy Addition