Simulation-based hardware verification with high-level decision diagrams = Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
autor
juhendaja
vastutusandmed
Maksim Jenihhin ; [supervisors: Jaan Raik, Raimund Ubar]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
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
vormimärksõna
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
TTÜ struktuuriüksus
keel
inglise
Jenihhin, M. Simulation-based hardware verification with high-level decision diagrams = Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel. Tallinn : TUT Press, 2008. 137 p. : ill. (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).