Login / Signup

Equivalence checking of arithmetic circuits on the arithmetic bit level.

Dominik StoffelWolfgang 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