Login / Signup
Saturn: An Automatic Test Generation System for Digital Circuits.
Narinder Singh
Published in:
AAAI (1986)
Keyphrases
</>
digital circuits
test generation
data flow
test cases
design automation
circuit design
test sequences
symbolic execution
software testing
quality assurance
static analysis
finite state machines
databases
model based diagnosis
functional decomposition