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]
Abstract is missing.