| Title: | Checking Consistency of C and Verilog using Predicate Abstraction and Induction |
|---|---|
| Links: | Document as PDF |
| Authors: | Daniel Kroening EMail |
| Edmund Clarke EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{kc2004,
AUTHOR = { Kroening, Daniel
and Clarke, Edmund },
TITLE = { Checking Consistency of {C} and {Verilog} using Predicate Abstraction and Induction },
BOOKTITLE = { Proceedings of ICCAD },
YEAR = { 2004 },
PUBLISHER = { IEEE },
PAGES = { 66--72 },
MONTH = { November },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.