Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases.
Tim PrussPriyank KallaFlorian EnescuPublished in: DAC (2014)
Keyphrases
- galois field
- word level
- numerically stable
- cellular automata
- language independent
- document images
- machine translation
- polynomial equations
- document analysis
- n gram
- writer identification
- word segmentation
- s box
- character recognition
- sentence level
- numerical stability
- word recognition
- semantic roles
- document level
- viterbi algorithm
- cross lingual
- relevance feedback