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.