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
Language
Czech
Status
defended, grade A
Date
15 June 2015
Reviewer
Department
Degree Programme
Field of Study
Files
Keywords
modeling, simulation, data-flow graphs, testing, visualisation
Abstract

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.

Citation
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: https://www.fit.vut.cz/study/thesis/16548/
BibTeX
@MASTERSTHESIS{FITMT16548,
    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 = "https://www.fit.vut.cz/study/thesis/16548/"
}
Back to top