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

Zendulka Jaroslav, Doc. Ing., CSc. (DCSE FEECS BUT)

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"
}