热点事件 持续更新
AI 自动生成验证属性：方法学落地进展
1 篇报道 1 个报道来源 2 小时前更新
先了解这件事
AI 综述
2026 年 10 月 29 日，Semiconductor Engineering 报道了芯片设计界关于用 AI 从规范（specification）自动生成验证属性（properties）的方法学插入分析。报道指出，AI 目前可以在数秒内生成 SystemVerilog 断言，展现了生成速度上的优势；但一个关键障碍在于，现有芯片设计规范大多不完整或表述含糊，导致 AI 生成的属性结果难以直接投入使用。这表明 AI 生成验证属性的瓶颈不在生成环节本身，而在于上游规范文档的质量。目前该方法学仍处于分析讨论阶段，尚无大规模落地的报道。
AI 根据报道生成 · 2 小时前更新
最新进展10月29日 15:13
最新讨论指出 AI 可数秒生成 SystemVerilog 断言，但规范不完整含糊致结果难直接可用。报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- Semiconductor Engineering 芯片与封装AI 自动生成属性（Properties）：从规范到验证的方法学插入分析
芯片设计界讨论用 AI 从 specification 自动生成 properties 的现状：AI 可在数秒内生成 SystemVerilog 断言，但现有规范大多不完整或含糊，生成结果难以直接可用。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。