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