From logic to symbolic layout for gate matrix.

Uminder Singh C. Y. Roger Chen

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

Keyphrases

liquid crystal displays
singular value decomposition
predicate logic
low rank
symbolic representation

logic programming
classical logic
automated reasoning
multi valued
linear algebra

modal logic
high level
symbolic description
logical framework
positive definite

defeasible logic
proof theory
computer algebra
nano scale
sound and complete axiomatization