Double Magnetic Tunnel Junction-Based Nonvolatile Logic.
Abdelrahman G. QoutbEby G. FriedmanPublished in: ISCAS (2022)
Keyphrases
- random access memory
- logic programming
- magnetic field
- data sets
- classical logic
- high speed
- set theory
- automated reasoning
- read write
- predicate logic
- logical framework
- multi valued
- modal logic
- knowledge representation
- sound and complete axiomatization
- database
- proof theory
- tunnel boring machine
- formal theory
- flash memory
- information systems
- search engine
- real time