@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{MGSD:2020,
  author        = {Alireza Mahzoon and Daniel Gro{\ss}e and Christoph Scholl and Rolf Drechsler},
  title		= {Towards Formal Verification of Optimized and Industrial Multipliers},
  booktitle     = date,
  year		= {2020}
}