arXiv cs.SE· Jiale Liu, Taiyu Zhou, Tianqi Jiang·· 4 小时前AI 评分38
Veri-Sure：结合时序追踪、切片与形式化验证的多智能体 RTL 代码生成
Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification
AI 导读
作者提出 Veri-Sure 多智能体框架，用于 RTL 代码生成，通过设计契约对齐各智能体意图，并用静态依赖切片引导的补丁机制做局部修复，避免整文件重生成带来的回归与修复幻觉。
来源：arXiv cs.SE · arxiv.org