@article{Mukherjee:2016:ECFe,
  title = "Equivalence Checking a Floating-point Unit against a High-level C Model: Extended Version",
  author = "Rajdeep Mukherjee and Saurabh Joshi and Andreas Griesmayer and Daniel Kroening and Tom Melham",
  year = "2016",
  journal = "arXiv Computing Research Repository",
  month = "September",
  volume = "arXiv:1609.00169 [cs.SE]",
}