Detail publikace

Abstract Model Verification of the Lookup Processor

SMRČKA Aleš. Abstract Model Verification of the Lookup Processor. In: Proceedings of MOSIS'05. Ostrava: MARQ, 2005, s. 138-145. ISBN 80-86840-10-7.
Název česky
Abstract Model Verification of the Lookup Processor
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

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.

Rok
2005
Strany
138-145
Sborník
Proceedings of MOSIS'05
Konference
MOSIS2005 - 39th Spring International Conference on Modelling and Simulation of Systems , Hradec nad Moravicí, CZ
ISBN
80-86840-10-7
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7768,
   author = "Ale\v{s} Smr\v{c}ka",
   title = "Abstract Model Verification of the Lookup Processor",
   pages = "138--145",
   booktitle = "Proceedings of MOSIS'05",
   year = 2005,
   location = "Ostrava, CZ",
   ISBN = "80-86840-10-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7768"
}
Nahoru