Publication detail

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

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

Original Title

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

Type

conference paper

Language

English

Original Abstract

The paper presents high-level modelling and formal analysis and verification on an FPGA-based multigigabit network monitoring system called Scampi. Uppaal was applied in this work to establish some correctness and throughput results on a model intentionally built using patterns reusable in other similar projects. Some initial experiments with parametric analysis using TReX were performed too.

Keywords

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

Authors

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

RIV year

2005

Released

3. 10. 2005

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-540-29105-3

Book

Correct Hardware Design and Verification Methods

Edition

Lecture Notes in Computer Science 3725/2005

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Year of study

2005

Number

3725

State

Federal Republic of Germany

Pages from

371

Pages to

375

Pages count

5

URL

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