PAPERS

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.