Automatic checking of logic design structures For compliance with testability ground rules.

Humbert C. Godoy G. B. Franklin Peter S. Bottorff

Published in: DAC (1977)

Keyphrases

design process
user interface
semi automatic
building blocks
decision rules
data sets
knowledge representation
knowledge based systems
fully automatic
rule sets
logic synthesis