Detail publikačního výsledku

Abstract Model Verification of the Lookup Processor

SMRČKA, A.

Originální název

Abstract Model Verification of the Lookup Processor

Anglický název

Abstract Model Verification of the Lookup Processor

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

This paper describes the abstract model verification of the Lookupprocessor and its neighborhood. Lookup processor is the one componentof the COMBO-2XFP card which is developed by the Scampi project (thepart of a network adapter for getting statistic of transfered IPpackets). The main part of this paper takes a description of systemmodel creation and description of chosen abstractions with theirreasons and limitations. The models are created with respect to theperformance checking. There are also results from verification of theentire abstract model.

Anglický abstrakt

This paper describes the abstract model verification of the Lookupprocessor and its neighborhood. Lookup processor is the one componentof the COMBO-2XFP card which is developed by the Scampi project (thepart of a network adapter for getting statistic of transfered IPpackets). The main part of this paper takes a description of systemmodel creation and description of chosen abstractions with theirreasons and limitations. The models are created with respect to theperformance checking. There are also results from verification of theentire abstract model.

Klíčová slova

scampi, abstract model verification, formal verification, abstractions, lookup processor

Klíčová slova v angličtině

scampi, abstract model verification, formal verification, abstractions, lookup processor

Autoři

SMRČKA, A.

Vydáno

23.04.2005

Místo

Ostrava

ISBN

80-86840-10-7

Kniha

Proceedings of MOSIS'05

Strany od

138

Strany do

145

Strany počet

8

URL

http://www.fit.vutbr.cz/~smrcka/publications/amvlup05.ps

BibTex

@inproceedings{BUT17967,
  author="Aleš {Smrčka}",
  title="Abstract Model Verification of the Lookup Processor",
  booktitle="Proceedings of MOSIS'05",
  year="2005",
  pages="138--145",
  address="Ostrava",
  isbn="80-86840-10-7",
  url="http://www.fit.vutbr.cz/~smrcka/publications/amvlup05.ps"
}