Title :
An oscillating algorithm for variable ordering in binary decision diagram
Author :
Taher, M. ; Salem, A. ; Mahdi, H. ; Wahdan, A.
Author_Institution :
Dept. of Comput. & Syst., Ain Shams Univ., Cairo, Egypt
Abstract :
In this paper we present a novel heuristic for improving the variable order computation in the binary decision diagram. The proposed algorithm uses two way swapping and it oscillates forward and backward to minimize the number of cycles needed to get the best order. The validity of the proposed approach has been shown using ISCAS 85 benchmarks
Keywords :
binary decision diagrams; combinational circuits; logic CAD; binary decision diagram; heuristic; ordered BDDs; oscillating algorithm; two way swapping; variable order computation; variable ordering; Binary decision diagrams; Boolean functions; Circuit analysis; Combinational circuits; Data structures; Dynamic programming; Engines; Input variables; Polynomials;
Conference_Titel :
Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference on
Conference_Location :
Jounieh
Print_ISBN :
0-7803-6542-9
DOI :
10.1109/ICECS.2000.913046
