| Title: | Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog |
|---|---|
| Links: | Document as PDF |
| Authors: | Himanshu Jain |
| Daniel Kroening EMail | |
| Natasha Sharygina | |
| Edmund Clarke EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{jksc2005,
AUTHOR = { Jain, Himanshu
and Kroening, Daniel
and Sharygina, Natasha
and Clarke, Edmund },
TITLE = { Word Level Predicate Abstraction and Refinement for Verifying {RTL} {Verilog} },
BOOKTITLE = { Design Automation Conference (DAC) },
YEAR = { 2005 },
PAGES = { 445--450 },
ISBN = { 1-59593-058-2 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.