Vyhledávací stroj hardwarového směrovače a jeho formální verifikace

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F63839172%3A_____%2F04%3A00000300" target="_blank" >RIV/63839172:_____/04:00000300 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216305:26230/04:PU49175

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Hardware Router's Lookup Machine and its Formal Verification

Popis výsledku v původním jazyce

This article describes the design of the lookup machine implemented in hardware accelerator COMBO6 for IPv6 and IPv4 packet routing. The lookup machine is a single instruction machine using Content Addressable and Static Memories and the operations are performed by Field Programmable Gate Arrays. The design of the lookup machine is difficult to be proven correct by conventional methods, therefore model checking as a method of formal verification was employed and this case is explained in detail. In thelast part, the article sums up software support needed to make behavior of the accelerator equivalent to the host computer.

Název v anglickém jazyce

Hardware Router's Lookup Machine and its Formal Verification

Popis výsledku anglicky

This article describes the design of the lookup machine implemented in hardware accelerator COMBO6 for IPv6 and IPv4 packet routing. The lookup machine is a single instruction machine using Content Addressable and Static Memories and the operations are performed by Field Programmable Gate Arrays. The design of the lookup machine is difficult to be proven correct by conventional methods, therefore model checking as a method of formal verification was employed and this case is explained in detail. In thelast part, the article sums up software support needed to make behavior of the accelerator equivalent to the host computer.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2004

Kód důvěrnosti údajů

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

Název statě ve sborníku

ICN'2004 Conference Proceedings

ISBN

0-86341-325-0

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

1002-1007

Název nakladatele

University of Haute Alsace, Colmar, France

Místo vydání

Gosier, Guadeloupe, French Carribian

Místo konání akce

Gosier, Guadeloupe, French Caribbean

Datum konání akce

29. 2. 2004

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—