Detail publikace

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

STRAKA, M. Generátor hlídacích obvodů pro komunikační protokoly Xilinx FPGA. In Počítačové architektury a diagnostika 2007. Plzeň: Západočeská univerzita v Plzni, 2007. s. 129-136. ISBN: 978-80-7043-605-9.

Název anglicky

Checker Generator for Comunication Protocols XILINX FPGA

Typ

článek ve sborníku konference

Jazyk

česky

Autoři

Straka Martin, Ing., Ph.D.

Klíčová slova

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

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.

Rok

2007

Strany

129–136

Sborník

Počítačové architektury a diagnostika 2007

ISBN

978-80-7043-605-9

Vydavatel

Západočeská univerzita v Plzni

Místo

Plzeň

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