Logic systems for path delay test generation.

Soumitra Bose Prathima Agrawal Vishwani D. Agrawal

Published in: EURO-DAC (1993)

Keyphrases

test generation
asynchronous circuits
design automation
modal logic
data sets
artificial intelligence
high level
test cases
life cycle
project management
quality assurance
symbolic execution