On primitive fault test generation in non-scan sequential circuits.

Ramesh C. Tekumalla Premachandran R. Menon

Published in: ICCAD (1998)

Keyphrases

test generation
test cases
symbolic execution
fault models
design automation
test sequences
fault diagnosis
quality assurance
fault detection
static analysis
mutation testing
software testing
high speed
model based diagnosis
circuit design
neural network
test data generation
machine vision
fault model
computer vision