@misc{indiciae9f990ad59248,
  title = {Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study},
  author = {Eshan Singh and Keerthikumara Devarajegowda and Sebastian Simon and Ralf Schnieder and Karthik Ganesan and Mohammad R. Fadiheh and Dominik Stoffel and Wolfgang Kunz and Clark Barrett and Wolfgang Ecker and Subhasish Mitra},
  year = {2019},
  doi = {10.23919/date.2019.8715271},
  url = {https://arxiv.org/abs/1902.01494},
  note = {Source identifier: 1902.01494}
}