Automated Functional Verification of Application Specific Instruction-set Processors.
M. Simková, Z. Prikryl, Z. Kotásek, and T. Hruska. IESS, volume 403 of IFIP Advances in Information and Communication Technology, page 128-138. Springer, (2013)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/iess/SimkovaPKH13
%A Simková, Marcela
%A Prikryl, Zdenek
%A Kotásek, Zdenek
%A Hruska, Tomas
%B IESS
%D 2013
%E Schirner, Gunar
%E Götz, Marcelo
%E Rettberg, Achim
%E Zanella, Mauro Cesar
%E Rammig, Franz J.
%I Springer
%K dblp
%P 128-138
%T Automated Functional Verification of Application Specific Instruction-set Processors.
%U http://dblp.uni-trier.de/db/conf/iess/iess2013.html#SimkovaPKH13
%V 403
%@ 978-3-642-38852-1
@inproceedings{conf/iess/SimkovaPKH13,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Simková, Marcela and Prikryl, Zdenek and Kotásek, Zdenek and Hruska, Tomas},
biburl = {https://www.bibsonomy.org/bibtex/2707dca66bba05fa82a58b87236250e02/dblp},
booktitle = {IESS},
crossref = {conf/iess/2013},
editor = {Schirner, Gunar and Götz, Marcelo and Rettberg, Achim and Zanella, Mauro Cesar and Rammig, Franz J.},
ee = {https://doi.org/10.1007/978-3-642-38853-8_12},
interhash = {382de36de083482fad0f883ff12937f0},
intrahash = {707dca66bba05fa82a58b87236250e02},
isbn = {978-3-642-38852-1},
keywords = {dblp},
pages = {128-138},
publisher = {Springer},
series = {IFIP Advances in Information and Communication Technology},
timestamp = {2018-06-27T12:28:03.000+0200},
title = {Automated Functional Verification of Application Specific Instruction-set Processors.},
url = {http://dblp.uni-trier.de/db/conf/iess/iess2013.html#SimkovaPKH13},
volume = 403,
year = 2013
}