Publication detail

Abstract Model Verification of the Lookup Processor

SMRČKA, A.

Original Title

Abstract Model Verification of the Lookup Processor

Type

conference paper

Language

English

Original Abstract

This paper describes the abstract model verification of the Lookup processor and its neighborhood. Lookup processor is the one component of the COMBO-2XFP card which is developed by the Scampi project (the part of a network adapter for getting statistic of transfered IP packets). The main part of this paper takes a description of system model creation and description of chosen abstractions with their reasons and limitations. The models are created with respect to the performance checking. There are also results from verification of the entire abstract model.

Keywords

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

Authors

SMRČKA, A.

RIV year

2005

Released

23. 4. 2005

Location

Ostrava

ISBN

80-86840-10-7

Book

Proceedings of MOSIS'05

Pages from

138

Pages to

145

Pages count

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