Detail publikace

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design

MATOUŠEK, P., SMRČKA, A., VOJNAR, T. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/2005. Berlin: Springer Verlag, 2005. p. 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
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Smrčka Aleš, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
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
ISBN
978-3-540-29105-3
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT30742,
  author="Petr {Matoušek} and Aleš {Smrčka} and Tomáš {Vojnar}",
  title="High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design",
  booktitle="Correct Hardware Design and Verification Methods",
  year="2005",
  series="Lecture Notes in Computer Science 3725/2005",
  journal="Lecture Notes in Computer Science",
  volume="2005",
  number="3725",
  pages="371--375",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-29105-3",
  issn="0302-9743",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/smv-charme-05.ps.gz"
}
Nahoru