title
Simulation-Based Hardware Verification with High-Level Decision Diagrams
Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
series
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
author
Jenihhin, Maksim
keywords
digital hardware
simulation-based verification
assertion checking
high-level decision diagrams
HLDD
THLDD
coverage measurement
code coverage
dissertations
riistvara
verifikatsioon
arvutisimulatsioon
otsustusdiagrammid
dissertatsioonid
publisher
TUT Press
supervisor
Raik, Jaan
Ubar, Raimund-Johannes
defence date
08.12.2008
identifier
ISBN 9789985598634
ISSN 14064731
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
department / college
Arvutitehnika instituut
Department of Computer Engineering
subunit
Arvutitehnika ja -diagnostika õppetool
Chair of Computer Engineering and Diagnostics