Transparency-based hierarchical test generation for modular RTL designs.

Yiorgos Makris Jamison Collins Alex Orailoglu P. Vishakantaiah

Published in: ISCAS (2000)

Keyphrases

test generation
test cases
design automation
symbolic execution
test sequences
static analysis
mutation testing
quality assurance
software testing
database
high level
information systems
regression testing
decision trees
computer vision
test data generation
learning algorithm
machine learning
code coverage