@misc{indiciaea0a5b5e33c8d,
  title = {Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?},
  author = {Bryan Olmos and Daniel Gerl and Aman Kumar and Djones Lettnin},
  year = {2024},
  url = {https://arxiv.org/abs/2410.18454},
  note = {Source identifier: 2410.18454}
}