@misc{indiciaed7205e4b9f27,
  title = {From Language to Logic: Bridging LLMs \& Formal Representations for RTL Assertion Generation},
  author = {Nowfel Mashnoor and Hadi Kamali and Kimia Azar},
  year = {2026},
  url = {https://arxiv.org/abs/2604.23100},
  note = {Source identifier: 2604.23100}
}