@article{assertionforgeenhancingformalverificatio,
  title = {AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL},
  author = {Yunsheng Bai and Ghaith Bany Hamad and Syed Suhaib and Haoxing Ren},
  year = {2025},
  eprint = {2503.19174},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2503.19174v2},
}