Detail publikace
Towards Hardware Verification
SMRČKA Aleš. Towards Hardware Verification. In: Proceedings of the 11th Conference Student EEICT 2005. Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2005, s. 668-672. ISBN 978-80-214-2890-4.
Název česky
Towards Hardware Verification
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
URL
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.
Rok
2005
Strany
668-672
Sborník
Proceedings of the 11th Conference Student EEICT 2005
Řada
Volume 3
Konference
STUDENT EEICT 2005, Brno, CZ
ISBN
978-80-214-2890-4
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
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" }