Ing. Jan Kořenek, Ph.D.

TOBOLA Jiří, KOTÁSEK Zdeněk, KOŘENEK Jan, MARTÍNEK Tomáš a STRAKA Martin. Online Protocol Testing for FPGA Based Fault Tolerant Systems. In: 10th EUROMICRO Conference on Digital System Design DSD 2007. Lubeck, Germany: IEEE Computer Society, 2007, s. 676-679. ISBN 0-7695-2978-X.
Jazyk publikace:angličtina
Název publikace:Online Protocol Testing for FPGA Based Fault Tolerant Systems
Název (cs):Online Protocol Testing for FPGA Based Fault Tolerant Systems
Strany:676-679
Sborník:10th EUROMICRO Conference on Digital System Design DSD 2007
Konference:10th EUROMICRO Conference on Digital System Design
Místo vydání:Lubeck, Germany, DE
Rok:2007
ISBN:0-7695-2978-X
Vydavatel:IEEE Computer Society
Soubory: 
+Typ Jméno Název Vel. Poslední změna
icondsd07.pdf69,4 KB2008-04-01 10:23:08
^ Vybrat vše
S vybranými:
Klíčová slova
Communication Protocol Testing, Fault Tolerant Systems, Checker, FPGA, VHDL
Anotace
In this paper, the methodology for automated design of checker for
communication protocol testing is presented. Based on the level of
checking, different design strategies can be performed - in the
paper the lowest level is presented. The definition of dedicated
language for the description of possible communication faults is
presented. The core generator is used to produce VHDL code
describing the behaviour of the checker.
BibTeX:
@INPROCEEDINGS{
   author = {Ji{\v{r}}{\'{i}} Tobola and Zden{\v{e}}k Kot{\'{a}}sek and
	Jan Ko{\v{r}}enek and Tom{\'{a}}{\v{s}} Mart{\'{i}}nek and
	Martin Straka},
   title = {Online Protocol Testing for FPGA Based Fault Tolerant
	Systems},
   pages = {676--679},
   booktitle = {10th EUROMICRO Conference on Digital System Design DSD 2007},
   year = {2007},
   location = {Lubeck, Germany, DE},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-2978-X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8349}
}

Vaše IPv4 adresa: 54.80.137.168
Přepnout na IPv6 spojení

DNSSEC [dnssec]