Result 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. no. 3725, p. 371-375. ISBN: 978-3-540-29105-3. ISSN: 0302-9743.
Type
conference paper
Language
English
Authors
Matoušek Petr, doc. Ing., Ph.D., M.A., DIFS (FIT)
Smrčka Aleš, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Smrčka Aleš, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
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.
Keywords
formal analysis and verification, timed automata, parametric analysis, FPGA, hardware, computer networks
URL
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
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"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Optická síť národního výzkumu a její nové aplikace, MŠMT, Výzkumná centra (2000-2004), MSM6383917201, start: 2004-01-01, end: 2010-12-31, completed
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Optická síť národního výzkumu a její nové aplikace, MŠMT, Výzkumná centra (2000-2004), MSM6383917201, start: 2004-01-01, end: 2010-12-31, completed
Research groups
Departments