@article{verisureacontractawaremultiagentframewor,
  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},
  eprint = {2601.19747},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2601.19747},
}