Detail publikačního výsledku

Towards Hardware Verification

SMRČKA, A.

Originální název

Towards Hardware Verification

Anglický název

Towards Hardware Verification

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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

Anglický abstrakt

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

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

SMRČKA, A.

Rok RIV

2010

Vydáno

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