Simulation-based hardware verification with high-level decision diagrams = Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
author
supervisor
statement of authorship
Maksim Jenihhin ; [supervisors: Jaan Raik, Raimund Ubar]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
year of publication
pages
137 p. : ill
series
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
subject term
subject of form
ISBN
978-9985-59-863-4
notes
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Ü department
language
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).