Techniques for improving the efficiency of sequential circuit test generation.

Xijiang Lin Irith Pomeranz Sudhakar M. Reddy

Published in: ICCAD (1999)

Keyphrases

test generation
test cases
design automation
symbolic execution
test sequences
circuit design
artificial intelligence
real world
software testing
data sets
machine learning
feature selection
computational complexity
open source
high speed
code coverage