@misc{indiciae5ed44d88a0ba,
  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},
  url = {https://arxiv.org/abs/2503.19174},
  note = {Source identifier: 2503.19174}
}