Simulation-based hardware verification with high-level decision diagrams = Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel

autor
Jenihhin, Maksim
juhendaja
autor juhendaja
autor juhendaja
vastutusandmed
Maksim Jenihhin ; [supervisors: Jaan Raik, Raimund Ubar]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
TUT Press
ilmumisaasta
2008
leheküljed
137 p. : ill
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, 1406-4731 ; 42
märksõna
riistvara
verifikatsioon
kompuutersimulatsioon
vormimärksõna
dissertatsioonid
ISBN
978-9985-59-863-4
märkused
Includes bibliogr. Thesis (Ph.D. in Computer and System Engineering) : Tallinn University of Technology, 2008. Autori CV eesti ja inglise keeles lk. 131-134. Kokkuvõte eesti keeles, lk. ix. Ka eestikeelse tiitellehega
Kättesaadav ka võrguteavikuna
Võrguteavik oli 2009. a. Eesti üliõpilaste teadustööde riikliku konkursi esimene preemia doktoriõppe üliõpilaste astmes
leitav
https://www.ester.ee/record=b2431332*est
TTÜ struktuuriüksus
arvutitehnika instituut
keel
inglise