Publication Details

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

MATOUŠEK Petr, SMRČKA Aleš and VOJNAR Tomáš. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In: Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science 3725/2005, vol. 2005. Berlin: Springer Verlag, 2005, pp. 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 FIT BUT)
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords

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

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.

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, DE
BibTeX 
@INPROCEEDINGS{FITPUB7849,
   author = "Petr Matou\v{s}ek and Ale\v{s} Smr\v{c}ka and Tom\'{a}\v{s} Vojnar",
   title = "High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design",
   pages = "371--375",
   booktitle = "Correct Hardware Design and Verification Methods",
   series = "Lecture Notes in Computer Science 3725/2005",
   journal = "Lecture Notes in Computer Science",
   volume = 2005,
   number = 3725,
   year = 2005,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-540-29105-3",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7849"
}
Back to top