Towards Hardware Verification

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU55742" target="_blank" >RIV/00216305:26230/05:PU55742 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Towards Hardware Verification
Original language description
This paper gives an introduction to the approach of verification of discrete timed hardware design. It roughly offers low-level verification hand in hand<br> 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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automated methods and tools supporting development of reliable concurrent and distributed systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 11th Conference Student EEICT 2005
ISBN
978-80-214-2890-4
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
—
Publisher name
Faculty of Information Technology BUT
Place of publication
Brno
Event location
Brno
Event date
Apr 28, 2005
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Similar results(10)