@inproceedings{ks2007-date,
  title = "Image Computation and Predicate Refinement for {RTL} {Verilog} using Word Level Proofs",
  author = "Kroening, Daniel and Sharygina, Natasha",
  year = "2007",
  booktitle = "Proceedings of DATE 2007",
  pages = "1325--1330",
}