A library-based synthesis methodology for reversible logic.

Mehdi Saeedi Mehdi Sedighi Morteza Saheb Zamani

Published in: Microelectron. J. (2010)

Keyphrases

markov chain
logic synthesis
cellular automata
data sets
formal theory
design methodology
modal logic
logic programming
asynchronous circuits
decision trees
real time
multi agent systems
case study
predicate logic
neural network
databases
functional programs