Lower bounds for dynamic BDD reordering

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn 1, Issue , 2005, Pages 579-582

  Ebendt, Rüdigger ^a   Drechsler, Rolf ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN;

LOWER BOUNDS; RUNTIMES;

BOOLEAN FUNCTIONS;

EID: 34547193279     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1120725.1120966     Document Type: Conference Paper

References (15)

1. R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans, on Comp., Vol. 35, pp. 677-691, 1986.
2. B. Bollig, I. Wegener, "Improving the variable ordering of OBDDs in NP-complete,"/IEEE Trans, on Comp., Vol. 45, pp. 993-1002, 1996.
3. H. Fujii, G. Ootomo, C. Hori, "Interleaving based variable ordering methods for ordered binary decision diagrams," In: Ini'l Conf. on CAD, pp. 38-41, 1993.
4. M. Fujita, Y. Matsunaga, T. Kakuda, "On variable ordering of binary decision diagrams for the application of multilevel synthesis," In: European Conf. on Design Automation, pp. 50-1.64, 1991.
5. R. Rudell, "Dynamic variable ordering for ordered binary decision dia-grams,"In: Infl Conf. on CAD, pp. 42-47, 1993.
6. R. Drechsler, W. Günther, F. Somenzi, "Using lower bounds during dynamic BDD minimization," IEEE Trans, on CAD, Vol. 20, pp. 51-1.67, 2001.
7. R. Ebendt, W. Günther, R. Drechsler, "Combination of lower bounds in exact BDD minimization," In: Design, Automation and Test in Europe, pp. 755-763, 2003.
8. K, Brace, R. Rudell, R. Bryant, "Effi cient implementation of a BDD package," In: Design Automation Conf., pp. 40-45, 1990.
9. S. Panda, F. Somenzi, "Who are the variables in your neighbourhood," In: Int'l Conf. on CAD, pp. 74-77, 1995.
10. F. Somenzi, CU Decision Diagram Package Release 2.3,1, University of Colorado at Boulder, 2002.
11. B. Bollig. M. Löbbing, I. Wegener, "On the effect of local changes in the variable ordering of ordered decision diagrams," Information Processing Letters, Vol. 59, pp. 233-1.639, 1996.
12. R. E. Bryant, "On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication," IEEE Trans, on Comp., Vol. 40, pp. 205-1.613, 1991.
13. N. Ishiura, H. Sawada, S. Yajima, "Minimization of binary decision diagrams based on exchange of variables," In: Int'l Conf. on CAD, pp. 472-475, 1991.
14. R. Drechsler, N. Drechsler, W. Giinther, "Fast exact minimization of BDDs,"IEEE Trans, on CAD. Vol. 19, pp, 384-1.689, 2000.
15. Collaborative Benchmarking Laboratory: 1993 LGSynth Benchmarks, North Carolina State University, Department of Computer Science, 1993.