@STRING{glsvlsi	= {ACM Great Lakes Symposium on VLSI} }
@inproceedings{GHGD:2019b,
  author    = {Mehran Goli and Muhammad Hassan and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Automated Analysis of Virtual Prototypes at Electronic System Level},
  booktitle = glsvlsi,
  pages     = {307--310},
  year      = {2019},
}