| Title: | Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs |
|---|---|
| Links: | Document as PDF |
| Authors: | Daniel Kroening EMail |
| Natasha Sharygina | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{ks2007-date,
AUTHOR = { Kroening, Daniel
and Sharygina, Natasha },
TITLE = { Image Computation and Predicate Refinement for {RTL} {Verilog} using Word Level Proofs },
BOOKTITLE = { Design, Automation and Test in Europe (DATE) },
YEAR = { 2007 },
PAGES = { 1325--1330 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.