Programmable Memristive Threshold Logic Gate Array.
Olga KrestinskayaAkshay Kumar MaanAlex Pappachen JamesPublished in: APCCAS (2018)
Keyphrases
- gate array
- logic circuits
- low power
- low cost
- logic programming
- modal logic
- general purpose
- multi valued
- classical logic
- single chip
- threshold selection
- automated reasoning
- sound and complete axiomatization
- processor array
- asynchronous circuits
- predicate logic
- logical framework
- image processing
- power consumption
- multistage
- logic programs
- programming language
- multi agent systems