@inproceedings{CKY03,
  title = "Behavioral Consistency of {C} and {Verilog} Programs Using Bounded Model Checking",
  author = "Kroening, Daniel and Clarke, Edmund and Yorav, Karen",
  year = "2003",
  booktitle = "Proceedings of DAC 2003",
  isbn = "1-58113-688-9",
  pages = "368--371",
  publisher = "ACM Press",
}