Login / Signup

Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths.

Namrata ShekharPriyank KallaSivaram GopalakrishnanFlorian Enescu
Published in: ICCD (2005)
Keyphrases
  • fixed size
  • variable size
  • sliding window
  • window size
  • subsequence matching
  • image processing
  • high quality
  • multiscale
  • data streams
  • arithmetic operations
  • algebraic geometry
  • small image patches