Title: | Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog |
---|---|
Links: | Document as PDF |
Authors: | Himanshu Jain |
Daniel Kroening EMail | |
Natasha Sharygina | |
Edmund Clarke EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{jksc2005, AUTHOR = { Jain, Himanshu and Kroening, Daniel and Sharygina, Natasha and Clarke, Edmund }, TITLE = { Word Level Predicate Abstraction and Refinement for Verifying {RTL} {Verilog} }, BOOKTITLE = { Proceedings of DAC 2005 }, YEAR = { 2005 }, PAGES = { 445--450 }, ISBN = { 1-59593-058-2 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.