A sequential circuit test generation using threshold-value simulation.

Kwang-Ting Cheng Vishwani D. Agrawal Ernest S. Kuh

Published in: FTCS (1988)

Keyphrases

test generation
test cases
design automation
test sequences
symbolic execution
high speed
static analysis
software testing
mutation testing
artificial intelligence
circuit design
test data generation