From logic to symbolic layout for gate matrix.
Uminder SinghC. Y. Roger ChenPublished 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