@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{HGD:2020b,
  author        = {Vladimir Herdt and Daniel Gro{\ss}e and Rolf Drechsler},
  title		= {Towards Specification and Testing of {RISC-V} {ISA} Compliance},
  booktitle     = date,
  year		= {2020}
}