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.