Details

Autor(en) / Beteiligte

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

Titel

SAT-Controlled redundancy addition and removal - a novel circuit restructuring technique

Ist Teil von

• 2009 Asia and South Pacific Design Automation Conference, 2009, p.191-196

Ort / Verlag

IEEE

Erscheinungsjahr

2009

Quelle

IEEE Electronic Library (IEL)

Beschreibungen/Notizen

• We proposed a novel Boolean Satisfiability (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.