Portable parallel test generation for sequential circuits.

Balkrishna Ramkumar Prithviraj Banerjee

Published in: ICCAD (1992)

Keyphrases

test generation
test cases
test sequences
symbolic execution
parallel version
static analysis
quality assurance
parallel processing
design automation
databases
code coverage
high speed
regression testing
mutation testing
test data generation
data management
high quality
decision trees
real world