Detail publikace
High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design
MATOUŠEK Petr, SMRČKA Aleš a VOJNAR Tomáš. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In: Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science 3725/2005, roč. 2005. Berlin: Springer Verlag, 2005, s. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
Název česky
Vysokoúrovňové modelování, analýza a verifikace návrhu hardware založeného na FPGA
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova
formální analýza a verifikace, časované automaty, parametrická analýza, FPGA, hardware, počítačové sítě
Abstrakt
Článek presentuje vysokoúrovňové modelování, analýzu a verifikaci návrhu multigigabitového síťového monitoru Scampi založeného na FPGA. Pro analýzu a verifikaci byl použit nástroj Uppaal založený na časovaných automatech a byly provedeny rovněž počáteční experimenty s parametrickou analýzou s využitím nástroje TReX.
Rok
2005
Strany
371-375
Časopis
Lecture Notes in Computer Science, roč. 2005, č. 3725, ISSN 0302-9743
Sborník
Correct Hardware Design and Verification Methods
Řada
Lecture Notes in Computer Science 3725/2005
Konference
CHARME2005, Saarbruecken, DE
ISBN
978-3-540-29105-3
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX
@INPROCEEDINGS{FITPUB7849, author = "Petr Matou\v{s}ek and Ale\v{s} Smr\v{c}ka and Tom\'{a}\v{s} Vojnar", title = "High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design", pages = "371--375", booktitle = "Correct Hardware Design and Verification Methods", series = "Lecture Notes in Computer Science 3725/2005", journal = "Lecture Notes in Computer Science", volume = 2005, number = 3725, year = 2005, location = "Berlin, DE", publisher = "Springer Verlag", ISBN = "978-3-540-29105-3", ISSN = "0302-9743", language = "english", url = "https://www.fit.vut.cz/research/publication/7849" }