Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.

Daniel Kroening Natasha Sharygina

Published in: DATE (2007)

Keyphrases

word level
image retrieval
image analysis
image content
image segmentation
preprocessing steps
computer vision
pattern recognition
edge detection
machine translation
text retrieval
semantic relations
language independent