Partial order reduction for scalable testing of systemC TLM designs.

Sudipta Kundu Malay K. Ganai Rajesh Gupta

Published in: DAC (2008)

Keyphrases

partial order reduction
model checking
petri net
real time
data sets
test cases
neural network
machine learning
similarity measure
data structure
multiresolution
lightweight
design principles
memory efficient
test generation