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
defended, grade A
15 June 2015
Degree Programme
Field of Study
modeling, simulation, data-flow graphs, testing, visualisation

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.

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