Thesis Details

Sada příkladů pro demonstraci práce s nástrojem Questa inFact

Bachelor's Thesis Student: Fodor Dušan Academic Year: 2014/2015 Supervisor: Zachariášová Marcela, Ing., Ph.D.
English title
Questa inFact Capabilities Demonstration Set
Language
Czech
Abstract

This bachelor thesis deals with presentation of working with platform Questa inFact from

Mentor Graphics company. In introduction, teoretical information about verication itself

is provided and several verication methods are introduced. Teoretical part is followed by

examples of usage Questa inFact tool for coverage driven verication and contains set of

demonstational samples.

Keywords

functional verication, coverage driven verication, coverage closure, Questa, inFact

Department
Department of Computer Systems FIT BUT
Degree Programme
Information Technology
Status
defended, grade E
Date
15 June 2015
Reviewer
Krčma Martin, Ing.
Committee
Sekanina Lukáš, prof. Ing., Ph.D. (DCSY FIT BUT), předseda
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Jaroš Jiří, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT), člen
Citation
FODOR, Dušan. Sada příkladů pro demonstraci práce s nástrojem Questa inFact. Brno, 2015. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2015-06-15. Supervised by Zachariášová Marcela. Available from: https://www.fit.vut.cz/study/thesis/15875/
BibTeX 
@bachelorsthesis{FITBT15875,
    author = "Du\v{s}an Fodor",
    type = "Bachelor's thesis",
    title = "Sada p\v{r}\'{i}klad\r{u} pro demonstraci pr\'{a}ce s n\'{a}strojem Questa inFact",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/15875/"
}

Theses

Back to top