Detail publikace

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

MATOUŠEK, P. SMRČKA, A. VOJNAR, T.

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

MATOUŠEK, P.; SMRČKA, A.; VOJNAR, T.

Rok RIV

2005

Vydáno

3. 10. 2005

Nakladatel

Springer Verlag

Místo

Berlin

ISBN

978-3-540-29105-3

Kniha

Correct Hardware Design and Verification Methods

Edice

Lecture Notes in Computer Science 3725/2005

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Ročník

2005

Číslo

3725

Stát

Spolková republika Německo

Strany od

371

Strany do

375

Strany počet

5

URL

http://www.fit.vutbr.cz/~vojnar/Publications/smv-charme-05.ps.gz

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