Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.

Chung-Yang Huang Kwang-Ting Cheng

Published in: DAC (2000)

Keyphrases

constraint solving
word level
constraint propagation
language independent
constraint satisfaction
document images
constraint satisfaction problems
constraint programming
document analysis
n gram
machine translation
character recognition
word segmentation
semantic roles
sentence level
document level