Reconfigurable RRAM for LUT logic mapping: A case study for reliability enhancement.
Matthew CatanzaroDhireesha KudithipudiPublished in: SoCC (2012)
Keyphrases
- multi valued
- logic programming
- image enhancement
- case study
- reliability analysis
- classical logic
- modal logic
- general purpose
- test bed
- logical framework
- proof theory
- automated reasoning
- low cost
- reconfigurable architecture
- gray scale
- computational properties
- predicate logic
- lookup table
- neural network
- sound and complete axiomatization