Detail publikace

Hardware Router's Lookup Machine and its Formal Verification

ANTOŠ, D., KOŘENEK, J. Hardware Router's Lookup Machine and its Formal Verification. In Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: University of Haute Alsace, 2004. p. 1002-1007. ISBN: 0-86341-325-0.
Název česky
Hardwarový vyhledávací stroj a jeho formální verifikace
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Antoš David, Mgr.
Kořenek Jan, doc. Ing., Ph.D. (UPSY)
Klíčová slova

IPv6 routing, FPGA, formal verification, Liberouter

Abstrakt

Tento článek popisuje návhr vyhledávacího stroje implementovaného v hardwarovém akcelerátoru COMBO6 pro IPv6 a IPv4 směrování.

Rok
2004
Strany
1002–1007
Sborník
Proceedings of the 3rd International Conference on Networking ICN '04
ISBN
0-86341-325-0
Vydavatel
University of Haute Alsace
Místo
Colmar
BibTeX 
@inproceedings{BUT17149,
  author="David {Antoš} and Jan {Kořenek}",
  title="Hardware Router's Lookup Machine and its Formal Verification",
  booktitle="Proceedings of the 3rd International Conference on Networking ICN '04",
  year="2004",
  pages="1002--1007",
  publisher="University of Haute Alsace",
  address="Colmar",
  isbn="0-86341-325-0"
}
Nahoru