Faculty of Information Technology, BUT

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
Towards Hardware Verification
Type
conference paper
Language
english
Authors
URL
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"
}
Back to top