Login / Signup

PositGen-A Verification Suite for Posit Arithmetic.

Annarao KulkarniShashikala Gunderao PattanshettyAneesh RaveendranDavid SelvakumarSandra JeanVivian Desalphine
Published in: VLSI Design (2021)
Keyphrases
  • model checking
  • formal verification
  • arithmetic operations
  • data mining
  • face verification
  • real time
  • neural network
  • floating point
  • knowledge base
  • image processing
  • objective function
  • asynchronous circuits