Performing Stateful Logic Using Spin-Orbit Torque (SOT) MRAM.

Barak Hoffer Shahar Kvatinsky

Published in: CoRR (2022)

Keyphrases

random access memory
design considerations
logic programming
modal logic
automated reasoning
data sets
dynamic model
control scheme
predicate logic
asynchronous circuits
linear logic
programming language
multi valued
logical framework
defeasible logic
room temperature