Conference paper

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. Berlin: Springer Verlag, 2005, pp. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
Publication language:english
Original title:High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design
Title (cs):Vysokoúrovňové modelování, analýza a verifikace návrhu hardware založeného na FPGA
Pages:371-375
Proceedings:Correct Hardware Design and Verification Methods
Conference:CHARME2005
Series:Lecture Notes in Computer Science 3725/2005
Place:Berlin, DE
Year:2005
ISBN:978-3-540-29105-3
Journal:Lecture Notes in Computer Science, Vol. 2005, No. 3725, DE
ISSN:0302-9743
Publisher:Springer Verlag
URL:http://www.fit.vutbr.cz/~vojnar/Publications/smv-charme-05.ps.gz [PS]
Keywords
formal analysis and verification, timed automata, parametric analysis, FPGA, hardware, computer networks
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7849}
}

Your IPv4 address: 54.81.210.99
Switch to IPv6 connection

DNSSEC [dnssec]