Algorithmic Optimization of BDDs and Performance Evaluation for Multi-level Logic Circuits with Area and Power Trade-offs

• 作者: Anirban Dutta Saurabh Chaudhury
• 来源期刊: 电路与系统(英文)
• 学科: 数学
• 关键词: Algorithmic OPTIMIZATION BDDS Genetic Algorithm Branch & BOUND Variable ORDERING Area-Power Trade-offs
• 年，卷（期）: 2011,（3）
• 页码范围: 217-224
• 页数: 8页
• 分类号: O1

摘要

Binary Decision Diagrams (BDDs) can be graphically manipulated to reduce the number of nodes and hence the area. In this context, ordering of BDDs play a major role. Most of the algorithms for input variable ordering of OBDD focus primarily on area minimization. However, suitable input variable ordering helps in minimizing the power consumption also. In this particular work, we have proposed two algorithms namely, a genetic algorithm based technique and a branch and bound algorithm to find an optimal input variable order. Of course, the node reordering is taken care of by the standard BDD package buddy-2.4. Moreover, we have evaluated the performances of the proposed algorithms by running an exhaustive search program. Experi-mental results show a substantial saving in area and power. We have also compared our techniques with other state-of-art techniques of variable ordering for OBDDs and found to give superior results.