Logic design automation of diagnosable MOS combinational logic networks.

Yacoub M. El-Ziq Stephen Y. H. Su

Published in: DAC (1977)

Keyphrases

design automation
test generation
social networks
computer aided design
data sets
classical logic
logic programming
modal logic
circuit design
flip flops
decision trees
knowledge representation
complex systems
diagnostic reasoning
floating gate