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

Anglický název

Checker Generator for Comunication Protocols XILINX FPGA

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

čeština

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.

Anglický abstrakt

In this paper, checker Generator for Comunication Protocols XILINX FPGA is described.

Klíčová slova

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

Klíčová slova v angličtině

checker, comunication protocol, VHDL, FPGA

Autoři

STRAKA, M.

Rok RIV

2007

Vydáno

3. 9. 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

URL

https://www.fit.vut.cz/research/publication/8441/

BibTex

@inproceedings{BUT28839,
  author="Martin {Straka}",
  title="Generátor hlídacích obvodů pro komunikační protokoly Xilinx FPGA",
  booktitle="Počítačové architektury a diagnostika 2007",
  year="2007",
  pages="129--136",
  publisher="Západočeská univerzita v Plzni",
  address="Plzeň",
  isbn="978-80-7043-605-9",
  url="https://www.fit.vut.cz/research/publication/8441/"
}

Dokumenty

pad07.pdf