Detail publikace

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

STRAKA, M.

Originální název

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

Český název

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

cs

Originální abstrakt

Č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.

Český abstrakt

Č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.

Klíčová slova

hlídací obvod, komunikační protokol, VHDL, FPGA

Rok RIV

2007

Vydáno

03.09.2007

Nakladatel

Západočeská univerzita v Plzni

Místo

Plzeň

ISBN

978-80-7043-605-9

Kniha

Počítačové architektury a diagnostika 2007

Strany od

129

Strany do

136

Strany počet

7

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"
}