Publication detail

Towards Hardware Verification

SMRČKA, A.

Original Title

Towards Hardware Verification

Type

conference paper

Language

English

Original 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.

Keywords

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

Authors

SMRČKA, A.

RIV year

2005

Released

28. 4. 2005

Publisher

Faculty of Information Technology BUT

Location

Brno

ISBN

978-80-214-2890-4

Book

Proceedings of the 11th Conference Student EEICT 2005

Edition

Volume 3

Pages from

668

Pages to

672

Pages count

5

URL

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

BibTex

@inproceedings{BUT17966,
  author="Aleš {Smrčka}",
  title="Towards Hardware Verification",
  booktitle="Proceedings of the 11th Conference Student EEICT 2005",
  year="2005",
  series="Volume 3",
  pages="668--672",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="978-80-214-2890-4",
  url="http://www.fit.vutbr.cz/~smrcka/publications/thv05.pdf"
}