Login / Signup
Equivalence checking of arithmetic circuits on the arithmetic bit level.
Dominik Stoffel
Wolfgang Kunz
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2004)
Keyphrases
</>
arithmetic operations
higher level
levels of abstraction
genetic algorithm
social networks
high speed
lower level