Academic Journal
Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions
| العنوان: | Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions |
|---|---|
| المؤلفون: | Rajeev Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto Sangiovanni-vincentelli |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www.eecs.berkeley.edu/~rajeev/publications/psdir/dro_iccd.ps. |
| بيانات النشر: | IEEE |
| سنة النشر: | 1997 |
| المجموعة: | CiteSeerX |
| الوصف: | The breadth-first manipulation technique has proven effective in dealing with very large sized BDDs. However, till now the lack of dynamic variable reordering has remained an obstacle in its acceptance. The goal of this work is to provide efficient techniques to address this issue. After identifying the problems with implementing variable swapping (the core operation in dynamic reordering) in breadth-first based packages, we propose techniques to handle the computational and memory overheads. We feel that combining dynamic reordering with the powerful manipulation algorithms of a breadth-first based scheme can significantly enhance the performance of BDD based algorithms. The efficiency of the proposed techniques is demonstrated on a range of examples. 1 Introduction The binary decision diagram (BDD) 1 serves as an important data structure in the representation of Boolean functions, and is widely used in various areas of computer-aided design -- logic synthesis, testing, simulation,. |
| نوع الوثيقة: | text |
| وصف الملف: | application/postscript |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5811; http://www.eecs.berkeley.edu/~rajeev/publications/psdir/dro_iccd.ps |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5811 http://www.eecs.berkeley.edu/~rajeev/publications/psdir/dro_iccd.ps |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.C9CE334C |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |