Power Optimization of Technology-dependent Circuits Based on Static Logic Implications

• 基于静态逻辑蕴涵的电路功耗优化