arXiv cs.AI· Hao Zheng, Jaime Rafael Imperial, Bardia Nadimi, Xiangfei Kong·2026-10-09 12:00· 3 小时前AI 评分24

LLM 集成硬件设计验证综述

A Survey on LLM-Integrated Hardware Design Verification

AI 导读

一篇综述系统梳理了 LLM 辅助硬件功能验证的研究进展，覆盖 SystemVerilog 断言生成、激励与 testbench 生成、缺陷定位与设计修复、模型检测与等价性检查、SAT/SMT 优化以及新兴的智能体验证工作流。

来源：arXiv cs.AI · arxiv.org