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

Maksim Jenihhin Jaan Raik Raimund Ubar Tatjana Shchenova

Published in: EWDTS (2010)

Keyphrases

high level
image data
data mining
data analysis
relational databases
markov decision processes
multi valued
decision diagrams