Behavioral test generation modeling approach for mixed-signal IC verification.

Published in: Microelectron. J. (2003)

Keyphrases

test generation
symbolic execution
test cases
design automation
static analysis
software testing
quality assurance
mixed signal
low power
code coverage
real time
machine vision
parallel processing
model checking
test set
decision trees
image processing
data sets