The Evaluation of Full Sensitivity for Test Generation in MVL Circuits.

Elena Dubrova Dilian Gurov Jon C. Muzio

Published in: ISMVL (1995)

Keyphrases

test generation
logic synthesis
test cases
multi valued
symbolic execution
test sequences
design automation
static analysis
data sets
artificial intelligence
image processing
case study
training data
relational databases