Login / Signup
Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.
David Y. Feinstein
Mitchell A. Thornton
D. Michael Miller
Published in:
DATE (2008)
Keyphrases
</>
logic circuits
low power
logic synthesis
functional decomposition
tunnel diode
detection algorithm
gate array
low cost
high speed
image processing
power consumption
computer vision
case study
power dissipation