Login / Signup

Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished.

Milan CeskaJirí MatyásVojtech MrazekLukás SekaninaZdenek VasícekTomás Vojnar
Published in: ICCAD (2017)
Keyphrases
  • high speed
  • error rate
  • formal model
  • complex data
  • error bounds
  • data sets
  • genetic algorithm
  • higher level
  • complex systems
  • error analysis
  • floating point