Word level predicate abstraction and refinement for verifying RTL verilog.
Himanshu JainDaniel KroeningNatasha SharyginaEdmund M. ClarkePublished in: DAC (2005)
Keyphrases
- word level
- hardware designs
- hardware description language
- language independent
- model based diagnosis
- document images
- document analysis
- machine translation
- n gram
- integrated circuit
- character recognition
- word segmentation
- word recognition
- first order logic
- chinese text retrieval
- viterbi algorithm
- sentence level
- hardware design
- image processing
- semantic roles
- text retrieval
- text classification
- image analysis
- machine learning