An approach for PSL assertion coverage analysis with high-level decision diagrams

vastutusandmed
Maksim Jenihhin, Jaan Raik, Raimund Ubar, Tatjana Shchenova
ilmumiskoht
Kharkov
ilmumisaasta
leheküljed
p. 13-16 : ill
konverentsi nimetus, aeg
IEEE East-West Design & Test Symposium (EWDTS'10), September 17-20, 2010
konverentsi toimumispaik
St. Petersburg, Russia
märkused
Bibliogr.: 15 ref
keel
inglise
Jenihhin, M., Raik, J., Ubar, R., Shchenova, T. An approach for PSL assertion coverage analysis with high-level decision diagrams // Proceedings of IEEE East-West Design & Test Symposium (EWDTS'10) : St. Petersburg, Russia, September 17-20, 2010. Kharkov : Kharkov National University of Radioelectronics, 2010. p. 13-16 : ill.