DocumentCode :
146858
Title :
Improved BDD compression by combination of variable ordering techniques
Author :
Sharma, Praveen Kumar ; Singh, Neeraj Kumar
Author_Institution :
Dept. of Electron. & Commun. Eng., North Eastern Regional Inst. of Sci. & Technol., Nirjuli, India
fYear :
2014
fDate :
3-5 April 2014
Firstpage :
617
Lastpage :
621
Abstract :
Variable ordering is the most important task done with the Binary Decision Diagrams (BDDs) in order to reduce their size. Many researchers have proposed different algorithms for variable ordering for reduction in size of BDDs. This paper presents an innovative technique by combining the variable ordering algorithms available to get the best possible minimum sized BDDs. Colorado University Decision Diagram (CUDD) package is used as the tool for the process. Testing is carried out on the ISCAS benchmark circuits and better results have been found out.
Keywords :
binary decision diagrams; genetic algorithms; simulated annealing; BDD compression; CUDD package; Colorado University decision diagram package; ISCAS benchmark circuits; binary decision diagrams; variable ordering techniques; Boolean functions; Convergence; Data structures; Simulated annealing; BDD; CUDD; genetic; simulated annealing; variable ordering;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Communications and Signal Processing (ICCSP), 2014 International Conference on
Conference_Location :
Melmaruvathur
Print_ISBN :
978-1-4799-3357-0
Type :
conf
DOI :
10.1109/ICCSP.2014.6949915
Filename :
6949915
Link To Document :
بازگشت