A Coverage-Driven Verification Platform for Evaluating NoC Performance and Test Structure.

Ying Zhang Ning Wu Xiazhi Ke Fen Ge

Published in: AINA Workshops (2012)

Keyphrases

data driven
test generation
model checking
data sets
learning algorithm
data structure
multi agent systems
hierarchical structure
end to end
message passing
set of test cases