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
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"
}
Nahoru