STAR: Generating input vectors for design validation by static analysis of RTL.

Lingyi Liu Shobha Vasudevan

Published in: HLDVT (2009)

Keyphrases

static analysis
dynamic analysis
input vectors
source code
case study
data sets
high level
training data
databases
neural network
decision trees
feature extraction
software engineering