@inproceedings{Mukherjee_2016,
series={DATE},
title={Unbounded Safety Verification for Hardware Using Software Analyzers},
url={http://dx.doi.org/10.3850/9783981537079_0274},
DOI={10.3850/9783981537079_0274},
booktitle={Proceedings of the 2016 Design,
Automation & Test in Europe Conference & Exhibition (DATE)},
publisher={Research Publishing Services},
author={Mukherjee,
Rajdeep and Schrammel,
Peter and Kroening,
Daniel and Melham,
Tom},
year={2016},
collection={DATE} }