@inproceedings{Gro:2014b,
  author    = {Daniel Gro{\ss}e},
  title     = {Circuit Design: Slip Schedule or Automate Debug},
  booktitle = {DVClub Shanghai: Making Verification Debug More Efficient},
  year      = {2014}
}