Title :
Fast and efficient construction of BDDs by reordering based synthesis
Author :
Hett, Andreas ; Drechsler, Rolf ; Becker, Bernd
Author_Institution :
Inst. of Comput. Sci., Albert-Ludwigs-Univ., Freiburg, Germany
Abstract :
We present a new approach to symbolic simulation with BDDs. Our method uses Reordering Based Synthesis (RBS) which allows the integration of dynamic variable ordering (even) within a single synthesis operation (e.g. an AND-operation). Thus, huge peak sizes during the construction can often be avoided, and we obtain a method that, with no penalty in runtime, is more memory efficient than traditional ITE operator based symbolic simulation. The results are confirmed by experiments on a large set of benchmarks: We give a comparison to previously published approaches and also consider some industrial benchmarks which are known to be hard to handle
Keywords :
Boolean functions; data structures; decision theory; diagrams; directed graphs; symbol manipulation; AND operation; BDD; binary decision diagram; dynamic variable ordering; reordering based synthesis; symbolic simulation; Binary decision diagrams; Boolean functions; Computational modeling; Computer science; Data structures; Packaging; Programmable logic arrays; Runtime; Size measurement;
Conference_Titel :
European Design and Test Conference, 1997. ED&TC 97. Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-7786-4
DOI :
10.1109/EDTC.1997.582353