提出一种结合大推理模型与模型检测器的神经符号方法,通过符号反馈迭代修复Verilog代码以实现反应式综合,并引入自然语言自动形式化步骤,在基准测试上超越传统专用工具,证明了端到端自然语言综合的可行性。
机构:CISPA
来源:arXiv 2605.15131 | AI4Papers 论文推荐平台