Scalable and bijective cells for C-testable iterative logic array architectures.
Bo-Yuan YePo-Yu YehSy-Yen KuoIng-Yi ChenPublished in: IET Circuits Devices Syst. (2009)
Keyphrases
- modal logic
- multi valued
- classical logic
- logic programming
- random access memory
- highly scalable
- cellular automaton
- iterative methods
- computational properties
- programmable logic
- nonmonotonic logics
- deontic logic
- microscope images
- set theory
- sound and complete axiomatization
- linear array
- truth values
- genetic algorithm
- defeasible logic
- automated reasoning
- knowledge representation