Synthesis of high-level decision diagrams for functional test pattern generation
autor
Ubar, Raimund-Johannes
Raik, Jaan
Karputkin, Anton
Tombak, Mati
vastutusandmed
Raimund Ubar, Jaan Raik, Anton Karputkin, Mati Tombak
allikas
Proceedings of the 16th International Conference Mixed Design of Integrated Circuits and Systems MIXDES 2009 : Lodz, Poland, 25-27 June, 2009
ilmumiskoht
Lodz
kirjastus/väljaandja
Technical University of Lodz
ilmumisaasta
2009
leheküljed
p. 519-524 : ill
märksõna
digitaaltehnika
otsustusdiagrammid
testimine
võtmesõna
digital systems
register transfer level modeling decision diagams
symbolic execution
superposition of graphs
ISBN
978-83-928756-0-4
märkused
Bibliogr.: 33 ref
TTÜ struktuuriüksus
arvutitehnika instituut
informaatikainstituut
keel
inglise