Self-Checking Alternating Logic: Sequential Circuit Design.

Scott E. Woodard Gernot Metze

Published in: ISCA (1978)

Keyphrases

circuit design
digital circuits
design automation
logic programming
modal logic
automated reasoning
floating gate
verification method
database
classical logic
predicate logic
logical framework
sequential search
multi valued
hidden markov models
artificial intelligence
databases