Title :
A variable reordering method for fast optimization of binary decision diagrams
Author :
Song, Moon-Bae ; Chang, Hoon
Author_Institution :
Dept. of Comput. Sci., Soongsil Univ., Seoul, South Korea
Abstract :
In this paper, a new variable ordering algorithm, distributed reordering algorithm that allows more faster solution than existing ones, is presented. Since this method can accomplish fast optimization of BDD in less memory and computation time, the proposed algorithm is more efficient for dynamic variable ordering. Also, the proposed algorithm can achieve more optimized results in combining with other variable ordering method
Keywords :
circuit optimisation; computational complexity; logic CAD; binary decision diagrams; computation time; distributed reordering algorithm; dynamic variable ordering; optimization; variable reordering; window permutation; Application software; Binary decision diagrams; Boolean functions; Combinational circuits; Computer science; Data structures; Design automation; Logic design; Logic testing; Optimization methods;
Conference_Titel :
Test Symposium, 1997. (ATS '97) Proceedings., Sixth Asian
Conference_Location :
Akita
Print_ISBN :
0-8186-8209-4
DOI :
10.1109/ATS.1997.643963
