@misc{indiciae0b0427027419,
  title = {Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation},
  author = {Jiale Liu and Taiyu Zhou and Tianqi Jiang},
  year = {2026},
  url = {https://arxiv.org/abs/2601.19747},
  note = {Source identifier: 2601.19747}
}