Thesis Details

Interaktivní simulátor pro grafy toku dat

Bachelor's Thesis Student: Kovařík David Academic Year: 2014/2015 Supervisor: Charvát Lukáš, Ing.
English title
An Interactive Simulator for Data-flow Graphs

Data-flow graphs are often used by hardware designers. Such graph representation is also very useful for performing deeper analysis of a design (including functional or formal verification). Simulator presented in this thesis is a support tool for verification environment HADES. The goal of the simulator is to decrease necessary time and increase quality of the verification process. To perform a simulation efficiently, a specific simulation algorithm which saves computation time by eliminating redundant evaluations has been introduced. The simulator is equiped with several output interfaces connected to a single simulation core. One output interface provides direct simulation output in text format. The second is also textual, but allows user to control the simulation. Finally, the third forms a graphical interface that visualizes simulation results.


modeling, simulation, data-flow graphs, testing, visualisation

Degree Programme
defended, grade A
15 June 2015
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT), člen
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT), člen
Matoušek Petr, Ing., Ph.D., M.A. (DIFS FIT BUT), člen
KOVAŘÍK, David. Interaktivní simulátor pro grafy toku dat. Brno, 2015. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-15. Supervised by Charvát Lukáš. Available from:
    author = "David Kova\v{r}\'{i}k",
    type = "Bachelor's thesis",
    title = "Interaktivn\'{i} simul\'{a}tor pro grafy toku dat",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = ""
Back to top