Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
Himanshu JainDaniel KroeningNatasha SharyginaEdmund M. ClarkePublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
- word level
- hardware designs
- hardware description language
- language independent
- machine translation
- document images
- model based diagnosis
- n gram
- character recognition
- document analysis
- sentence level
- word recognition
- integrated circuit
- chinese text retrieval
- viterbi algorithm
- first order logic
- word segmentation
- machine vision
- retrieval systems
- hardware design
- semantic roles
- language model
- information extraction
- natural language
- search engine