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

author
Jenihhin, Maksim
supervisor
author supervisor
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
TUT Press
year of publication
2008
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
riistvara
verifikatsioon
kompuutersimulatsioon
subject of form
dissertatsioonid
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
url
https://www.ester.ee/record=b2431332*est
TTÜ department
arvutitehnika instituut
language
inglise