Detail publikace

Checker Design for On-line Testing of Xilinx FPGA Communication

Originální název

Checker Design for On-line Testing of Xilinx FPGA Communication

Anglický název

Checker Design for On-line Testing of Xilinx FPGA Communication

Jazyk

en

Originální abstrakt

In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemented in Xilinx FPGA based designs. A formal language enabling to describe the protocol was created for this purpose together with a generator of the formal description into VHDL code. The VHDL code can be then used for the synthesis of the checker structure and used in applications with Xilinx FPGAs.

Anglický abstrakt

In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemented in Xilinx FPGA based designs. A formal language enabling to describe the protocol was created for this purpose together with a generator of the formal description into VHDL code. The VHDL code can be then used for the synthesis of the checker structure and used in applications with Xilinx FPGAs.

BibTex


@inproceedings{BUT28609,
  author="Martin {Straka} and Jiří {Tobola} and Zdeněk {Kotásek}",
  title="Checker Design for On-line Testing of Xilinx FPGA Communication",
  annote="In the paper, a methodology of developing checkers for communication protocol
testing is presented. It was used to develop checker to test IP cores
communication protocol implemented in Xilinx FPGA based designs. A formal
language enabling to describe the protocol was created for this purpose together
with a generator of the formal description into VHDL code. The VHDL code can be
then used for the synthesis of the checker structure and used in applications
with Xilinx FPGAs.",
  address="IEEE Computer Society",
  booktitle="The 22nd IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems",
  chapter="28609",
  howpublished="print",
  institution="IEEE Computer Society",
  year="2007",
  month="june",
  pages="152--160",
  publisher="IEEE Computer Society",
  type="conference paper"
}