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

LLM 集成硬件设计验证综述

A Survey on LLM-Integrated Hardware Design Verification

AI 导读

该综述系统回顾 LLM 辅助硬件功能验证，覆盖 SystemVerilog 断言生成、激励与测试平台生成、缺陷定位与设计修复、模型检测与等价检测、SAT/SMT 优化，以及新兴智能体验证工作流。