@misc{indiciae4f7e4e205185,
  title = {Boosting the Bounds of Symbolic QED for Effective Pre-Silicon Verification of Processor Cores},
  author = {Karthik Ganesan and Srinivasa Shashank Nuthakki},
  year = {2021},
  url = {https://arxiv.org/abs/1908.06757},
  note = {Source identifier: 1908.06757}
}