AI Agent

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop

SpecLoop：一种带有形式验证反馈循环的代理RTL到规范框架

Fu-Chieh Chang, Yu-Hsin Yang, Hung-Ming Huang, Yun-Chia Hsu, Yin-Yu Lin, Ming-Fang Tsai, Chun-Chih Yang, Pei-Yuan Wu

专题命中 其他Agent ：agentic(title,abstract)

AI总结 SpecLoop通过形式验证驱动的反馈循环提升RTL到规范生成的准确性和鲁棒性。