TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 


(2.6 MB)

Pealkiri Simulation-Based Hardware Verification with High-Level Decision Diagrams. Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel 
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 
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