Thesis Details

Knihovna pro binární rozhodovací diagramy

Master's Thesis Student: Janků Petr Academic Year: 2014/2015 Supervisor: Holík Lukáš, doc. Mgr., Ph.D.
English title
A Library for Binary Decision Diagrams
Language
Czech
Abstract

Efficient manipulation of Boolean functions is an important component of many computer-aided design task. As a data structure for representing and manipulating Boolean functions, Binary Decision Diagrams are commonly used. These diagrams are commonly used in many fields such as model checking, system verification, circuit design, etc. In this thesis we describe these diagrams and there are present their modifications. Furthermore, this paper present and describes techniques for effective handling and representation of binary decision diagrams. This thesis describes the design and implementation of library that will work with these diagrams. Finally, the library was compared with well known and heavily optimized library CUDD, which is public. The proposed results showed that the performance of the proposed library is quite close to that of CUDD (it is slightly faster in most cases).

Keywords

Boolean functions, symbolic manipulation, binary decision diagrams.

Department
Degree Programme
Information Technology, Field of Study Intelligent Systems
Status
not defended
Date
23 June 2015
Reviewer
Committee
Zbořil František V., doc. Ing., CSc. (DITS FIT BUT), předseda
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Bidlo Michal, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Meduna Alexander, prof. RNDr., CSc. (DIFS FIT BUT), člen
Steingartner William, Ing., Ph.D. (TUKE), člen
Citation
JANKŮ, Petr. Knihovna pro binární rozhodovací diagramy. Brno, 2015. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-23. Supervised by Holík Lukáš. Available from: https://www.fit.vut.cz/study/thesis/17839/
BibTeX
@mastersthesis{FITMT17839,
    author = "Petr Jank\r{u}",
    type = "Master's thesis",
    title = "Knihovna pro bin\'{a}rn\'{i} rozhodovac\'{i} diagramy",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17839/"
}
Back to top