Publication Details

Towards Hardware Verification

SMRČKA Aleš. Towards Hardware Verification. In: Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Faculty of Information Technology BUT, 2005, pp. 668-672. ISBN 978-80-214-2890-4.

Czech title

Type

conference paper

Language

english

Authors

Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)

URL

http://www.fit.vutbr.cz/~smrcka/publications/thv05.pdf PDF

Keywords

formal verification, hardware verification, abstract model verification, verification of implementation

Abstract

This paper gives an introduction to the approach of verification of discrete timed hardware design. It roughly offers low-level verification hand in hand
with high-level verification (which is described in more detail). The main part of this paper takes an example of the top of view verification of the lookup processor as a part of the COMBO cards developed by Liberouter project.

Published

2005

Pages

668-672

Proceedings

Proceedings of the 11th Conference Student EEICT 2005

Series

Volume 3

Conference

STUDENT EEICT 2005, Brno, CZ

ISBN

978-80-214-2890-4

Publisher

Faculty of Information Technology BUT

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB7767,
   author = "Ale\v{s} Smr\v{c}ka",
   title = "Towards Hardware Verification",
   pages = "668--672",
   booktitle = "Proceedings of the 11th Conference Student EEICT 2005",
   series = "Volume 3",
   year = 2005,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "978-80-214-2890-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7767"
}