Logic design verification via test generation.

Magdy S. Abadir Jack Ferguson Tom E. Kirkland

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1988)

Keyphrases

test generation
design automation
design process
image processing
symbolic execution
database
building blocks
test cases
modal logic
static analysis
formal verification