Login / Signup

Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands.

Namrata ShekharPriyank KallaM. Brandon MeredithFlorian Enescu
Published in: FMCAD (2006)
Keyphrases
  • model checking
  • lower bound
  • upper bound
  • data sets
  • mathematical model
  • worst case
  • error bounds
  • upper and lower bounds
  • tight bounds
  • support vector
  • simulation study
  • simulation model