Login / Signup
A Library-Based Synthesis Methodology for Reversible Logic.
Mehdi Saeedi
Mehdi Sedighi
Morteza Saheb Zamani
Published in:
CoRR (2010)
Keyphrases
</>
logic synthesis
cellular automata
markov chain
logic programming
asynchronous circuits
databases
high level
image sequences
modal logic
design methodology
classical logic
deontic logic