@misc{indiciaea100320f9c60,
  title = {Optimising Design Verification Using Machine Learning: An Open Source Solution},
  author = {B. Samhita Varambally and Naman Sehgal},
  year = {2020},
  url = {https://arxiv.org/abs/2012.02453},
  note = {Source identifier: 2012.02453}
}