@inproceedings{kc2004,
  title = "Checking Consistency of {C} and {Verilog} using Predicate Abstraction and Induction",
  author = "Kroening, Daniel and Clarke, Edmund",
  year = "2004",
  booktitle = "Proceedings of ICCAD",
  month = "November",
  pages = "66--72",
  publisher = "IEEE",
}