Detail publikace

High-level Modeling, Analysis and Verification of Programmable Hardware Design

SMRČKA, A. High-level Modeling, Analysis and Verification of Programmable Hardware Design. Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006. p. 93-94. ISBN: 3-902463-05-8.
Název česky
Vysokoúrovňové modelování, analýza a verifikace programovatelného hardwarového návrhu
Typ
abstrakt
Jazyk
anglicky
Autoři
Smrčka Aleš, Ing., Ph.D. (UITS)
Klíčová slova

formální verifikace, vysokoúrovňová verifikace, analýza hardwarového návrhu, testování propustnosti, časovaná analýza

Abstrakt

Tato práce se zabývá abstraktním modelováním návrhu a verifikacíněkterých bezpečnostních vlastností. Hlavním cílem bylo zjistit, jestlise v systému vyskytuje přetečení bufferu a jak nastavit parametry délkyfront, aby k této chybě nedocházelo. Tato práce ukazuje, jak ručněmodelovat složité systémy, a ukazuje dosažené výsledky touto metodou.

Rok
2006
Strany
93–94
Kniha
Proceedings of the Junior Scientist Conference 2006
Konference
Juniorská vědecká konference 2006, Vienna, AT
ISBN
3-902463-05-8
Vydavatel
Technical University Wien
Místo
Vienna
BibTeX 
@misc{BUT60508,
  author="Aleš {Smrčka}",
  title="High-level Modeling, Analysis and Verification of Programmable Hardware Design",
  booktitle="Proceedings of the Junior Scientist Conference 2006",
  year="2006",
  pages="93--94",
  publisher="Technical University Wien",
  address="Vienna",
  isbn="3-902463-05-8",
  note="abstract"
}
Nahoru