Publication detail

Generátor hlídacích obvodů pro komunikační protokoly Xilinx FPGA

STRAKA, M.

Original Title

Generátor hlídacích obvodů pro komunikační protokoly Xilinx FPGA

Czech Title

Generátor hlídacích obvodů pro komunikační protokoly Xilinx FPGA

Language

cs

Original Abstract

Článek se zabývá návrhem nové metodologie založené na automatizovaném vytváření hlídacích obvodů pro testování správnosti komunikačních protokolů a tvoří první krok a nejnižší vrstvu našich cílů pro vývoj systémů odolných proti poruchám na bázi FPGA. Pro automatizované vytváření hlídacích obvodů je definován formální jazyk pro popis chováni protokolu a navržen nástroj pro generování hlídacího obvodu v jazyce VHDL na základě tohoto popisu. Evaluace nové metodologie je provedena na komunikačním protokolu LocalLink vyvinutý firmou XILINX. V závěru jsou zhodnoceny vlastnosti nově prezentované metodiky a možnosti jejího využití v disertační práci.

Czech abstract

Článek se zabývá návrhem nové metodologie založené na automatizovaném vytváření hlídacích obvodů pro testování správnosti komunikačních protokolů a tvoří první krok a nejnižší vrstvu našich cílů pro vývoj systémů odolných proti poruchám na bázi FPGA. Pro automatizované vytváření hlídacích obvodů je definován formální jazyk pro popis chováni protokolu a navržen nástroj pro generování hlídacího obvodu v jazyce VHDL na základě tohoto popisu. Evaluace nové metodologie je provedena na komunikačním protokolu LocalLink vyvinutý firmou XILINX. V závěru jsou zhodnoceny vlastnosti nově prezentované metodiky a možnosti jejího využití v disertační práci.

Documents

BibTex


@inproceedings{BUT28839,
  author="Martin {Straka}",
  title="Generátor hlídacích obvodů pro komunikační protokoly Xilinx FPGA",
  annote="Článek se zabývá návrhem nové metodologie založené na automatizovaném vytváření
hlídacích obvodů pro testování správnosti komunikačních protokolů a tvoří první
krok a nejnižší vrstvu našich cílů pro vývoj systémů odolných proti poruchám na
bázi FPGA. Pro automatizované vytváření hlídacích obvodů je definován formální
jazyk pro popis chováni protokolu a navržen nástroj pro generování hlídacího
obvodu v jazyce VHDL na základě tohoto popisu. Evaluace nové metodologie je
provedena na komunikačním protokolu LocalLink vyvinutý firmou XILINX. V závěru
jsou zhodnoceny vlastnosti nově prezentované metodiky a možnosti jejího využití v
disertační práci.",
  address="Západočeská univerzita v Plzni",
  booktitle="Počítačové architektury a diagnostika 2007",
  chapter="28839",
  howpublished="print",
  institution="Západočeská univerzita v Plzni",
  year="2007",
  month="september",
  pages="129--136",
  publisher="Západočeská univerzita v Plzni",
  type="conference paper"
}