@STRING{dvcon_europe  = {Design and Verification Conference and Exhibition Europe} }
@InProceedings{VEHG:2018,
  author        = {Thilo V\"ortler and Karsten Einwich and Muhammad Hassan and Daniel Gro{\ss}e},
  title		= {Using Constraints for {SystemC} {AMS} Design and Verification},
  booktitle     = dvcon_europe,
  year		= {2018},
  mycomment     = {{\bf (Best Paper Award)}}
}