Detail publikačního výsledku

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

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

Rok RIV

2010

Vydáno

03.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

Svazek

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