Detail publikace
High-level Modeling, Analysis and Verification of Programmable Hardware Design
SMRČKA Aleš. High-level Modeling, Analysis and Verification of Programmable Hardware Design. Proceedings of the Junior Scientist Conference 2006. Vienna: Technische Universität Wien, 2006. 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
angličtina
Autoři
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
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, jestli se v systému vyskytuje přetečení bufferu a jak nastavit parametry délky front, 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
Junior Scientist Conference 2006, Vídeň, AT
ISBN
3-902463-05-8
Vydavatel
Technische Universität Wien
Místo
Vienna, AT