Publication Details

Program for demonstration of ROBDD's

ZENDULKA Jaroslav. Program for demonstration of ROBDD's. In: Proceedings of EDS'95. Brno: Brno University of Technology, 1995, pp. 201-202.
Type
conference paper
Language
english
Authors
Annotation

Binary desision diagrams (BDD) have emerged as a popular representation for functional specifications in circuit designs, control algorithms etc. There are several kinds of BDD's. Reduced ordered binary decision diagrams (ROBDD) belong to most popular. The paper deals with a simple program for ROBDD's manipulation. It is intended to be used in education to illustrate how the Boolean funtion can be represented in a form of a ROBDD and what is the result of manipulations with a pair of diagrams. The implementation is based on the if-then-else (ITE) operator. The main features of the program, especially with respect to the use for the demonstration in education, and some comments on its implementation, are presented in the paper.

Published
1995
Pages
201-202
Proceedings
Proceedings of EDS'95
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB6648,
   author = "Jaroslav Zendulka",
   title = "Program for demonstration of ROBDD's",
   pages = "201--202",
   booktitle = "Proceedings of EDS'95",
   year = 1995,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6648"
}
Back to top