print

Using test pattern generation tool decider in hardware verification

author
Viilukas, Taavi
Raik, Jaan
statement of authorship
Taavi Viilukas, Jaan Raik
source
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum
location of publication
[Tallinn]
publisher
[Tallinna Tehnikaülikool]
year of publication
2007
pages
lk. 166-169 : ill
subject term
digitaaltehnika
testimine
otsustusdiagrammid
verifikatsioon
ISBN
978-9985-59-700-2
notes
Bibliogr.: 7 nim
language
inglise
Viilukas, T., Raik, J. Using test pattern generation tool decider in hardware verification // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum. [Tallinn] : [Tallinna Tehnikaülikool], 2007. lk. 166-169 : ill.