Assessing the Performance of Stateful Logic in 1-Selector-1-RRAM Crossbar Arrays.

Arjun Tyagi Shahar Kvatinsky

Published in: CoRR (2024)

Keyphrases

logic programming
modal logic
automated reasoning
classical logic
data sets
predicate logic
multi valued
digital circuits
computational properties
logic synthesis
asynchronous circuits
set theory
multi agent systems
epistemic logic
deontic logic
website
linear logic
linear array
information systems