@article{jksc2007-tcad,
  author = "Jain, Himanshu and Kroening, Daniel and Sharygina, Natasha and Clarke, Edmund",
  journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)",
  month = "February",
  pages = "366--379",
  publisher = "IEEE",
  title = "Word Level Predicate Abstraction and Refinement for Verifying {RTL} {Verilog}",
  volume = "27",
  year = "2008",
}