Thesis Details

Verifikace ASIP založena na formálních tvrzeních

Master's Thesis Student: Šulek Jakub Academic Year: 2014/2015 Supervisor: Zachariášová Marcela, Ing., Ph.D.
English title
Assertion-Based Verification of ASIP
Language
Czech
Abstract
This thesis introduces the concept of assertion-based verifi cation of application-specifi c instruction set processors (ASIPs). The proposed design is implemented in SystemVerilog Assertions language as a part of veri fication environment created using Codasip Framework. The implemented concept is simulated in QuestaSim tool using model of Codix RISC processor. Main outcome of this thesis is the verifi cation concept usable not only on other processors, but as a part of system that automates the processor design as well.
Keywords

SystemVerilog Assertions, assertion-based verifi cation, application-specifi c instruction set processor, veri cation environment

Department
Department of Computer Systems FIT BUT
Degree Programme
Information Technology, Field of Study Information Systems
Status
defended, grade B
Date
23 June 2015
Reviewer
Dolíhal Luděk, Ing.
Committee
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), předseda
Brada Přemysl, doc. Ing., MSc. Ph.D. (WBU in Pilsen), člen
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), člen
Květoňová Šárka, Ing., Ph.D. (DIFS FIT BUT), člen
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT), člen
Zendulka Jaroslav, doc. Ing., CSc. (DIFS FIT BUT), člen
Citation
ŠULEK, Jakub. Verifikace ASIP založena na formálních tvrzeních. Brno, 2015. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-23. Supervised by Zachariášová Marcela. Available from: https://www.fit.vut.cz/study/thesis/17782/
BibTeX 
@mastersthesis{FITMT17782,
    author = "Jakub \v{S}ulek",
    type = "Master's thesis",
    title = "Verifikace ASIP zalo\v{z}ena na form\'{a}ln\'{i}ch tvrzen\'{i}ch",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/17782/"
}

Theses

Back to top