Sign in

Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.

Udo KrautzMarkus WedlerWolfgang KunzKai WeberChristian JacobiMatthias Pflanz
Published in: ASP-DAC (2008)
Keyphrases
  • domain specific
  • levels of abstraction
  • database systems
  • real valued
  • genetic algorithm
  • lower bound
  • multiresolution
  • power consumption
  • theorem prover
  • theorem proving
  • floating point