Simulation-based verification with APRICOT framework using high-level decision diagrams
autor
Jenihhin, Maksim
Raik, Jaan
TÅ¡epurov, Anton
Ubar, Raimund-Johannes
vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas
East-West Design & Test Symposium : Moscow, September 18-21, 2009
ilmumiskoht
Moscow
ilmumisaasta
2009
leheküljed
p. 13-16 : ill
märksõna
digitaalelektroonika
otsustusdiagrammid
kompuutersimulatsioon
märkused
Bibliogr.: 12 ref
TTÜ struktuuriüksus
arvutitehnika instituut
keel
inglise