Detail publikace
Online Protocol Testing for FPGA Based Fault Tolerant Systems
TOBOLA, J. KOTÁSEK, Z. KOŘENEK, J. MARTÍNEK, T. STRAKA, M.
Originální název
Online Protocol Testing for FPGA Based Fault Tolerant Systems
Anglický název
Online Protocol Testing for FPGA Based Fault Tolerant Systems
Jazyk
en
Originální abstrakt
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.
Anglický abstrakt
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.
Dokumenty
BibTex
@inproceedings{BUT28607,
author="Jiří {Tobola} and Zdeněk {Kotásek} and Jan {Kořenek} and Tomáš {Martínek} and Martin {Straka}",
title="Online Protocol Testing for FPGA Based Fault Tolerant Systems",
annote="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.",
address="IEEE Computer Society",
booktitle="10th EUROMICRO Conference on Digital System Design DSD 2007",
chapter="28607",
howpublished="print",
institution="IEEE Computer Society",
year="2007",
month="august",
pages="676--679",
publisher="IEEE Computer Society",
type="conference paper"
}