Critical hazard free test generation for asynchronous circuits.

Ajay Khoche Erik Brunvand

Published in: VTS (1997)

Keyphrases

test generation
asynchronous circuits
test cases
test sequences
symbolic execution
design automation
delay insensitive
process algebra
static analysis
model checking
software testing
quality assurance
mutation testing
machine learning
code coverage
real world