Checker Generator for Comunication Protocols XILINX FPGA

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70867" target="_blank" >RIV/00216305:26230/07:PU70867 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

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

Original language description

Č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. Proautomatizované 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 protokoluLocalLink 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 name

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

Czech description

Č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. Proautomatizované 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 protokoluLocalLink 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.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GD102%2F05%2FH050" target="_blank" >GD102/05/H050: Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Počítačové architektury a diagnostika 2007

ISBN

978-80-7043-605-9

ISSN

—

e-ISSN

—

Number of pages

7

Pages from-to

129-135

Publisher name

Západočeská univerzita v Plzni

Place of publication

Plzeň

Event location

Srní

Event date

Sep 17, 2007

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—