Thesis Details

Tvorba simulačních modelů jazyka P4

Bachelor's Thesis Student: Bulička Miroslav Academic Year: 2019/2020 Supervisor: Martínek Tomáš, doc. Ing., Ph.D.
English title
Development of Simulation Models of P4 Language
Language
Czech
Abstract

CESNET association is developing tool that allows running P4 programs on field programmable gate array. This tool is used in design of digital circuit, which goes through verification process. The verification uses behavioral model, which does not fully meet requirements. This thesis deals with introduction to P4 language, creation of behavioral models and developing of behavioral model, which meets the requirements of CESNET association. Current behavioral model, used in verification process, will be replaced by developed model. Project Behavioral Model version 2 was used for developing of behavioral model. Behavioral model simple switch was used as default model. This model is edited based on requirements of CESNET association. Result of this thesis is behavioral model which meets the requirements.

Keywords

P4 language, behavioral model, Behavioral model version 2, software-defined networking

Department
Degree Programme
Information Technology
Files
Status
defended, grade B
Date
13 July 2020
Reviewer
Committee
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT), předseda
Burget Radek, doc. Ing., Ph.D. (DIFS FIT BUT), člen
Čadík Martin, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT), člen
Martínek Tomáš, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Citation
BULIČKA, Miroslav. Tvorba simulačních modelů jazyka P4. Brno, 2020. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2020-07-13. Supervised by Martínek Tomáš. Available from: https://www-dev.fit.vutbr.cz/study/thesis/23105/
BibTeX
@bachelorsthesis{FITBT23105,
    author = "Miroslav Buli\v{c}ka",
    type = "Bachelor's thesis",
    title = "Tvorba simula\v{c}n\'{i}ch model\r{u} jazyka P4",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2020,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/23105/"
}
Back to top