Variation-aware logic mapping for crossbar nano-architectures.

Masoud Zamani Mehdi Baradaran Tahoori

Published in: ASP-DAC (2011)

Keyphrases

multi valued
nano scale
predicate logic
scheduling algorithm
truth values
logical framework
databases
logic programming
search algorithm
website
data mining
temporal logic
automated reasoning
metadata
classical logic
knowledge base
information systems
deontic logic
asynchronous circuits