Datapath Verification via Word-Level E-Graph Rewriting.

Samuel Coward Emiliano Morini Bryan Tan Theo Drane George A. Constantinides

Published in: FMCAD (2023)

Keyphrases

word level
language independent
document images
document analysis
machine translation
character recognition
word segmentation
word recognition
n gram
image analysis
cross language
sentence level
viterbi algorithm