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

researchr

You are not signed in
Sign in
Sign up

Maksim Jenihhin, Jaan Raik, Raimund Ubar, Tatjana Shchenova. An approach for PSL assertion coverage analysis with high-level decision diagrams. In 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010. pages 13-16, IEEE, 2010. [doi]

This author has not been identified. Look up 'Maksim Jenihhin' in GoogleThis author has not been identified. Look up 'Jaan Raik' in GoogleThis author has not been identified. Look up 'Raimund Ubar' in GoogleThis author has not been identified. Look up 'Tatjana Shchenova' in Google

runs on WebDSL