1
Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair
开源LLM结合多智能体流水线，自动修复RTL形式验证问题，直击芯片设计痛点。
arXiv:2607.28877v1 Announce Type: cross Abstract: Verification consumes the majority of modern chip design effort, yet the formal verification tools t…