Login / Signup
Equivalence Checking of Reversible Circuits.
Robert Wille
Daniel Große
D. Michael Miller
Rolf Drechsler
Published in:
MBMV (2009)
Keyphrases
</>
markov chain
cellular automata
high speed
delay insensitive
logic synthesis
high level synthesis
neural network
consistency checking
digital circuits
quantum computing
database
databases
database systems
circuit design
analog vlsi
tunnel diode