Title: | Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking |
---|---|
Links: | Document as PDF |
Authors: | Daniel Kroening EMail |
Edmund Clarke EMail | |
Karen Yorav | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{CKY03, AUTHOR = { Kroening, Daniel and Clarke, Edmund and Yorav, Karen }, TITLE = { Behavioral Consistency of {C} and {Verilog} Programs Using Bounded Model Checking }, BOOKTITLE = { Proceedings of DAC 2003 }, YEAR = { 2003 }, PUBLISHER = { ACM Press }, PAGES = { 368--371 }, ISBN = { 1-58113-688-9 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.