@inproceedings{jksc2005,
  title = "Word Level Predicate Abstraction and Refinement for Verifying {RTL} {Verilog}",
  author = "Jain, Himanshu and Kroening, Daniel and Sharygina, Natasha and Clarke, Edmund",
  year = "2005",
  booktitle = "Proceedings of DAC 2005",
  isbn = "1-59593-058-2",
  pages = "445--450",
}