@article{GFD:2013,
  author    = {Daniel Gro{\ss}e and G\"orschwin Fey and Rolf Drechsler},
  title     = {Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis},
  journal   = {Electronic Communication of the European Association of Software Science and Technology},
  volume    = {62},
  year      = {2013}
}