Recent Developments in the Theory and Practice of Testable Logic Design.

R. G. Bennetts Roy V. Scott

Published in: Computer (1976)

Keyphrases

recent developments
recent advances
building blocks
design theory
logic synthesis
knowledge base
design methodology
automated reasoning
multi valued
digital circuits
logic circuits
formal logic