pealkiri
Simulation-Based Hardware Verification with High-Level Decision Diagrams
Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
valdkond
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
autor
Jenihhin, Maksim
märksõnad
digital hardware
simulation-based verification
assertion checking
high-level decision diagrams
HLDD
THLDD
coverage measurement
code coverage
dissertations
riistvara
verifikatsioon
arvutisimulatsioon
otsustusdiagrammid
dissertatsioonid
väljaandja
TUT Press
juhendaja
Raik, Jaan
Ubar, Raimund-Johannes
kaitsmiskuupäev
08.12.2008
identifikaator
ISBN 9789985598634
ISSN 14064731
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
Faculty of Information Technology
instituut / kolledž
Arvutitehnika instituut
Department of Computer Engineering
allüksus
Arvutitehnika ja -diagnostika õppetool
Chair of Computer Engineering and Diagnostics