@inproceedings{jksc2007,
  title = "{VCEGAR}: Verilog CounterExample Guided Abstraction Refinement",
  author = "Jain, Himanshu and Kroening, Daniel and Sharygina, Natasha and Clarke, Edmund",
  year = "2007",
  booktitle = "Proceedings of TACAS 2007",
  pages = "583--586",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4424",
}