@misc{indiciaea18e241d8e96,
  title = {A Scalable Approach for Hardware Semiformal Verification},
  author = {Tomas Grimm and Djones Lettnin and Michael Hübner},
  year = {2018},
  url = {https://arxiv.org/abs/1801.08446},
  note = {Source identifier: 1801.08446}
}