arXiv · Software Engineering· Hao Zheng, Jaime Rafael Imperial, Bardia Nadimi, Xiangfei Kong·· 4 hr agoAI score32
LLM 集成硬件设计验证综述
A Survey on LLM-Integrated Hardware Design Verification
AI brief
该综述系统回顾 LLM 辅助硬件功能验证，覆盖 SystemVerilog 断言生成、激励与测试平台生成、缺陷定位与设计修复、模型检测与等价检测、SAT/SMT 优化，以及新兴智能体验证工作流。
Source: arXiv · Software Engineering · arxiv.org