Login / Signup

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling.

Katarzyna RadeckaZeljko Zilic
Published in: VTS (2000)
Keyphrases
  • error rate
  • relative error
  • data sets
  • face recognition
  • high speed
  • model checking
  • modeling language
  • floating point
  • modeling method
  • arithmetic operations