Publication Details

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. 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.
Czech title
Vysokoúrovňové modelování, analýza a verifikace návrhu hardware založeného na FPGA
Type
conference paper
Language
English
Authors
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
URL
Keywords

formal analysis and verification, timed automata, parametric analysis, FPGA, hardware, computer networks

Abstract

The paper presents high-level modelling and formal analysis andverification on an FPGA-based multigigabit network monitoring systemcalled Scampi. Uppaal was applied in this work to establish somecorrectness and throughput results on a model intentionally built usingpatterns reusable in other similar projects. Some initial experimentswith parametric analysis using TReX were performed too.

Published
2005
Pages
371–375
Journal
Lecture Notes in Computer Science, vol. 2005, no. 3725, ISSN 0302-9743
Proceedings
Correct Hardware Design and Verification Methods
Series
Lecture Notes in Computer Science 3725/2005
Conference
CHARME2005, Saarbruecken, DE
ISBN
978-3-540-29105-3
Publisher
Springer Verlag
Place
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"
}
Back to top