Test generation for sequential circuits using individual initial value propagation.

Takuji Ogihara Shuichi Saruyama Shinichi Murai

Published in: ICCAD (1988)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
quality assurance
software testing
static analysis
computer vision
high quality
circuit design
mutation testing