Detail publikace

Towards Hardware Verification

SMRČKA, A.

Originální název

Towards Hardware Verification

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

SMRČKA, A.

Rok RIV

2005

Vydáno

28. 4. 2005

Nakladatel

Faculty of Information Technology BUT

Místo

Brno

ISBN

978-80-214-2890-4

Kniha

Proceedings of the 11th Conference Student EEICT 2005

Edice

Volume 3

Strany od

668

Strany do

672

Strany počet

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