左移正演变为系统级问题：Synopsys、Silvaco、Axiomise、Hiveware 专家谈验证与验证扩展
Semiconductor Engineering 圆桌讨论指出，左移正从验证扩展到系统级验证，工具与模型割裂的工作流让已通过验证的组件仍出现 bug 逃逸。Synopsys 的 Frank Schirrmeister 认为智能体 AI 可改善跨学科协调、识别瓶颈并优化工具使用，但无法取代仿真和硬件仿真等基础流程。
NEWS / 动态
#验证/调试
按时间浏览，使用右上角筛选切换领域。
Semiconductor EngineeringAI 评分3030 Semiconductor EngineeringAI 评分6060 Arm 工程师实测三款前沿模型生成测试平台的缺陷检出率
Arm 高级验证架构师 Vikash Kumar 独立测试 Claude Opus 5、GPT-5.4 和 GLM-5.2 在 25 个未公开 RTL 设计上生成测试平台的能力，三款模型分别检出 79.2%、76.2% 和 62.8% 的 806 个手工植入功能缺陷。
Verilator／VeripoolAI 评分4242 Verilator 5.054 发布：拆分分支覆盖率选项并扩展 SystemVerilog 支持
Verilator 5.054 于 2026-11-01 发布，新增独立的 `--coverage-branch` 选项，与 `--coverage-line` 分开，此前使用 `--coverage-line` 的用户可能需要补加该选项。
Agnisys 官方动态AI 评分3838 IDS-AI 如何用 SpecCheck 智能体打造“黄金规格”
Agnisys 介绍 IDesignSpec-AI（IDS-AI）中的 SpecCheck 智能体如何检查规格是否达到“黄金规格”要求。该智能体先对规格做规则与 AI 语义分析，覆盖 CSR 模型（如 IP-XACT、SystemRDL），标记矛盾冲突、行为缺失、寄存器与字段错误、术语不一致、时序/复位/顺序问题及多文件间不一致，并通过受人工干预与批准的自校正循环修正。
EEJournalAI 评分6262 
Circuit Mind 发布 AVE 智能体验证引擎，并宣布 2500 万美元融资
Circuit Mind 发布 AVE（Agentic Verification Engine），用于自动审查电路原理图，可检查 ACE 生成的设计，也可检查用常规 ECAD 工具手工绘制的原理图。
Semiconductor EngineeringAI 评分4040 自动生成属性：方法学插入的挑战
从规范自动生成 SystemVerilog 属性仍受限于现有规范质量不足，Synopsys 的 Ravindra Aneja 认为行业尚未达到规范足够好用的程度。
Semiconductor EngineeringAI 评分3838 重新思考芯片设计中的左移：AI智能体与数字孪生带来的信任与验证挑战
Synopsys、Silvaco、Axiomise与Hiveware专家在Semiconductor Engineering圆桌讨论中指出，AI智能体和数字孪生正让材料、晶体管结构与芯片架构等更多设计选项得以更早探索，但左移并未消除验证瓶颈。
Semiconductor EngineeringAI 评分5858 ChipAgents 谈回归分诊中自主根因分析的规模化
ChipAgents 撰文介绍其面向回归分诊的 AI 原生根因分析方法，把调试拆成 bug 难度与 bug 数量两个维度，并给出从回归、智能分箱、见证仿真选择、波形重跑到自主 RCA、修复、验证、最终回归的端到端流程。
Semiconductor EngineeringAI 评分3838 Cadence AI Super Agents 如何用 Mental Model 协调芯片设计工作流
Cadence 的 Agentic AI Super Agents 面向芯片设计中反复出现的“失败—假设—修改—重跑”协调循环，可跨工具编排多步工程任务、关联证据并提出后续步骤，工程师仍负责定义目标、验证结果与最终签核。
NVC VHDL编译器发行AI 评分1515 NVC VHDL 编译器 1.23.1 发布
NVC VHDL 编译器发布 1.23.1 小版本错误修复更新。
Siemens Questa / Verification Horizons 官方博客AI 评分2222 Siemens 公布 DVCon Europe 2026 教程与演讲日程
Siemens 将在 11 月 17 日至 18 日举行的 DVCon Europe 2026 上赞助或参与多场教程与技术演讲，覆盖 Agentic AI 加速验证收敛、形式验证、HLS 和软硬件协同验证等主题。
Siemens Questa / Verification Horizons 官方博客AI 评分2222 Siemens EDA 专家解读 2026 功能验证研究：首次流片成功率仅 5%
Siemens EDA 首席科学家 Harry Foster 将于 11 月 10 日举办网络研讨会，解读 2026 功能验证研究。研究显示，IC/ASIC 项目首次流片成功率已降至仅 5%，约四分之三的 IC/ASIC 与 FPGA 项目未能按原计划推进。
Pulse 2.0AI 评分6060 ChipAgents 创始人谈 IC-star 与芯片智能体的物理指标验证
ChipAgents 创始人兼 CEO William Wang 在 Pulse 2.0 访谈中介绍其智能体平台 IC-star，称该引擎整合组织设计知识、跨数字与模拟流程协调智能体与工具、引入功耗性能时序等物理约束，并按任务自动选择模型。
Agnisys 官方动态AI 评分2222 
如何打造“黄金规范”：Agnisys 谈 SoC/IP 规范的关键属性
Agnisys 提出“黄金规范”应作为 SoC 与 IP 架构及预期行为的单一权威来源，供设计、验证、编程、测试等团队共用。其 IDesignSpec-AI（IDS-AI）可处理文本、PDF、HTML、Markdown 等非结构化格式及 SystemRDL、IP-XACT、YAML、XML 等机器可读格式。
合见工软精选AI 评分6060 
合见工软与开芯院在RISC-V峰会展示香山验证方法论
合见工软与北京开源芯片研究院在第六届RISC-V中国峰会上展示软硬双线的香山验证方法论：软件侧UVS+、UVD+适配香山平台并与UCAgent智能验证平台打通仿真与智能验证双通道，硬件侧香山·八达岭可扩展智算IP在PD-AS原型验证平台上跑通并现场实机演示。合见工软称联合测试中UVS+针对香山昆明湖架构的单核仿真性能较国际主流竞品提升高达2倍，并获颁香山企业贡献者奖项。
推荐理由：合见工软与开芯院在RISC-V峰会同台展示仿真调试适配、智能验证对接与原型验证跑通三条合作线，可观察国产工具链在香山生态中的接入方式。
芯华章AI 评分2222 芯华章亮相中科创达2026年度技术战略发布会：以可信验证赋能自主智能
芯华章作为可信 Agentic EDA 代表企业亮相中科创达 ThunderWorld 2026 技术战略发布会，首席科学家徐强发表《让自主智能真正值得信任》演讲，分享以可信验证能力赋能自主智能。
合见工软AI 评分5858 合见工软在 RISC-V 中国峰会介绍 UniVista Hybrid 混合仿真与玄铁 C930 迁移案例
合见工软在第六届 RISC-V 中国峰会芯片设计与验证分论坛上介绍了 UniVista Hybrid Emulation 混合仿真方案，并分享与达摩院玄铁团队合作的玄铁 C930 RISC-V SoC 迁移案例。
Sigasi 官方动态AI 评分2525 Sigasi Visual HDL 发布 23 段 RTL 开发演示视频
Sigasi 发布 23 段短视频、共 7 个章节，演示 Sigasi Visual HDL 在真实 SystemVerilog、Verilog 和 VHDL 代码上的功能，无需安装即可按任意顺序观看。
Accellera Systems Initiative精选AI 评分6060 Accellera 批准功能安全语言标准 FSL 1.0 发布
Accellera 董事会批准功能安全语言标准 FSL 1.0 发布，该标准为功能安全信息的表示、交换和集成提供统一语言与数据模型，可立即下载。FSL 1.0 基于 TCL 语法，支持跨供应链创建和交换 FMEDA 数据，涵盖失效模式、安全机制、技术信息与安全需求，并支持分层 FMEDA 及 ISO 26262、IEC 61508 相关失效率与指标的计算报告。
推荐理由：FSL 1.0 把功能安全数据从表格和私有格式中抽出来，可用于观察安全分析与设计验证流程的衔接方式。
芯华章精选AI 评分6060 芯华章举办Agentic EDA研讨会，六家产业伙伴分享验证实践
芯华章10月19日在深圳举办Agentic EDA数字流程解决方案研讨会，来自CPU、AI芯片、FPGA、存储及通信芯片领域的六家产业伙伴分享了与芯华章合作的验证实践。
推荐理由：六家芯片公司披露芯华章智能体验证工具在真实项目中的周期、报错收敛与回归人工介入数据，可用于对照验证流程的接入条件。
思尔芯AI 评分4040 
当RISC-V遇上大模型：思尔芯在2026 RISC-V中国峰会展示验证新解法
思尔芯在第六届RISC-V中国峰会上展示了大模型驱动的RISC-V虚拟平台与人机协同调试工作流，该平台可运行固件、引导程序及操作系统，提供处理器、内存、总线、中断及常用外设的仿真环境，并支持断点、观察点、状态检查、执行跟踪及运行状态保存与恢复。
Sigasi 官方动态精选AI 评分6262 Sigasi Visual HDL 2026.5 向 VS Code 中的 AI 智能体开放 MCP 服务器
Sigasi Visual HDL 2026.5 将 Sigasi MCP 服务器开放给在 VS Code 和 Cursor 中运行的 AI 智能体，包括 Claude Code、OpenAI Codex 和 Mistral Vibe。
推荐理由：原文说明 MCP 服务器内置于各版本并列出可接入的智能体与项目级依赖路径改动，可用于比较 HDL 编辑器与 AI 智能体的接入方式。
Sigasi Visual HDL发行说明 官方动态AI 评分5858 Sigasi Visual HDL 2026.5 发布，MCP 服务器向所有 AI 智能体开放
Sigasi Visual HDL 2026.5 发布，其 MCP 服务器向 VS Code 内的 Claude Code、OpenAI Codex、Mistral Vibe 等 AI 智能体开放，智能体可格式化 HDL、读取 lint 违规并浏览项目结构。
Agnisys 官方动态AI 评分2020 Agnisys 谈芯片设计方法：从可执行规范自动生成 RTL、UVM 与 C/C++ 测试
Agnisys 介绍以可执行规范为单一事实来源的“规范自动化”方法，从规范自动生成 RTL、UVM 测试及 C/C++ 测试代码。可自动生成的部分包括可编程寄存器、存储器、状态机、总线接口、CDC 逻辑与功能安全机制等，寄存器测试覆盖间接、索引、只读/只写等多种类型。该方法用于设计、验证、软件开发与硅前硅后验证，规范变更后重新生成即可保持各团队同步。
NVIDIA 官方动态AI 评分88 
NVIDIA 扩展 Nemotron 家族：发布 Super VL 与 Bolt 模型
NVIDIA 发布开源 1200 亿参数模型 Nemotron 3.5 Super VL，并推出面向边缘的 Bolt 74B-A9B 24GB 与 Bolt E4B 4GB。
Sigasi 官方动态AI 评分5555 Sigasi 演示 AI 智能体跑完整 HDL 工作流：自报完成后仍有诊断遗留
Sigasi 在 10 月 14 日的线上研讨会中让 AI 智能体（演示用 Claude Code）完成两个 HDL 工程目标，两者都自行结束，但确定性分析仍报出未用信号、generic 映射问题、未约束信号类型和空范围等遗留项。
Agnisys 官方动态AI 评分3333 Agnisys 2026 Q3 通讯：IDS-AI 验证流水线与 SystemRDL 严格合规等更新
Agnisys 发布 2026 Q3 通讯，重点介绍 IDS-AI 以可核查、可引用的流水线方式支撑 AI 对规格的每项判断，而非仅凭模型结论。
Agnisys 官方动态AI 评分3838 Agnisys 与 Axiomise 合作加速 NoC 设计与形式化签核
Agnisys 与 Axiomise 宣布合作，将 Agnisys 的 IDS-NoC 自动 NoC 生成与 Axiomise 的 nocProve 形式化验证技术结合，面向 AI 处理器、GPU 和 AI 推理引擎等 NoC 设计。双方称该组合旨在缩短上市时间、提升复杂 NoC 设计的质量与验证置信度，减少流片前意外和重投片。
思尔芯精选AI 评分6262 思尔芯与亚科鸿禹签署合并重组协议，合力打造数字前端EDA平台
思尔芯宣布与无锡亚科鸿禹签署合并重组协议，交易完成后两家公司将合并为一家EDA平台公司，并引入新增资金数亿元。资金将重点投向高端验证与仿真方向的研发攻坚、工程团队扩充与客户支持体系建设，华大九天、大湾区基金、央企战略性新兴产业发展基金等投资方将参与赋能。
推荐理由：思尔芯与亚科鸿禹签署合并重组协议并引入数亿元资金，可用于观察国产数字前端EDA在硬件仿真方向的整合路径。
合见工软AI 评分3636 
合见工软UVHP硬件仿真加速验证平台获第26届工博会CIIF集成电路创新成果奖
合见工软数据中心级全场景超大容量硬件仿真加速验证平台UVHP在第26届工博会上获“CIIF集成电路创新成果奖”。该平台单机架容量达57亿门，级联可扩展至460亿门，集成自研RTL综合工具UVSyn，填补了国产商用硬件加速器在千片FPGA规模级别的空白。自2024年面世以来，UVHP已应用于AI智算、HPC超算、AD/ADAS智驾等高端芯片开发。
合见工软精选AI 评分6262 
合见工软UVS+完成香山处理器全功能适配，单核仿真性能提升达2倍
合见工软与北京开源芯片研究院宣布，其自研数字仿真器UVS+已完成香山高性能开源RISC-V处理器的全功能适配，在支持调试、覆盖率收集等全功能基础上，单核仿真性能相较国际领先产品提升高达2倍。
推荐理由：合见工软公布UVS+与香山处理器的适配范围与联合测试性能数据，可用于了解国产仿真器在RISC-V验证中的接入方式。
Siemens Questa / Verification Horizons 官方博客AI 评分2222 
在 ITC 2026 上了解更智能的 In-System Test 验证方法
西门子将在 ITC 2026 展台演示其 In-System Test 验证方法，把 Tessent 实现与 Questa One、Veloce CS 验证技术连成可扩展的分阶段流程。
ChipAgents 官方技术博客AI 评分5858 
ChipAgents 阐述回归分诊的自主根因分析编排思路
ChipAgents 在官方博客中提出面向回归分诊的 AI 原生根因分析思路，把调试难点拆为缺陷难度与缺陷数量两个维度，并指出最难的是大规模下的难缺陷。其流程为传统分箱后再做一次智能分箱合并疑似同源失败，只对每个分箱挑选最小见证仿真并开启波形转储，再交给自主 RCA 生成修复并验证，最后重跑回归确认。
EE TimesAI 评分7070 
Synopsys 与 OpenAI 合作推出 GPT-Synopsys 芯片设计模型
Synopsys 在纽约 2026 投资者日宣布与 OpenAI 合作推出 GPT-Synopsys，用 OpenAI 前沿模型直接操作 Synopsys EDA 工具进行芯片设计与验证推理。
ChipAgents 官方技术博客AI 评分3030 
AWS 与 ChipAgents 如何用智能体 AI 破解芯片设计工程瓶颈
AWS 与 ChipAgents 在 AWS 上展示 AI 加速芯片设计工作流，聚焦智能体 AI 与 EDA 内置 AI 的区别。AWS 通过 Amazon Bedrock 提供多种前沿模型，并让模型、智能体、RTL、PDK、网表等敏感数据留在客户 VPC 内，沿用既有 EDA 安全模型。演讲指出复杂半导体项目约需 30 个月，验证占工程投入很大比例，且美国芯片工程师中三分之一超过 55 岁。
Tom’s HardwareAI 评分5050 
AI自主设计芯片或面临专利侵权风险，Synopsys、Cognichip、华大九天等工具加速落地
随着Synopsys的AgentEngineer工具、Cognichip的ACI平台及华大九天的AI agent逐步承担芯片验证、RTL生成与版图任务，AI自主设计引发的专利侵权归属问题浮出水面。
Chipmind 官方动态AI 评分3838 Chipmind 获 Innosuisse 137 万瑞士法郎资助，加速 AI 驱动芯片设计
Chipmind 通过瑞士创新署 Innosuisse 的 Start-up Innovation Projects 计划获得 137 万瑞士法郎资助，用于扩充研发与工程团队、加速开发 AI 驱动芯片设计技术。
Tom’s HardwareAI 评分6060 
2026 年芯片设计工具中的智能体现状：Cadence、Synopsys 与 Siemens 的自主性主张
Tom's Hardware 梳理了 Cadence、Synopsys 和 Siemens EDA 三家在 2026 年推出的芯片设计智能体进展。
Tom’s HardwareAI 评分6565 
Synopsys 推出 Autopilot 平台与 AgentEngineer 智能体方案
Synopsys 宣布 AgentEngineer 解决方案，基于新的 Autopilot 平台，覆盖验证、系统验证、实现、模拟与混合信号设计、制造、仿真与分析六个领域，公司称已有 50 多项客户合作，计划 2026 年底正式可用。
Synopsys 官方新闻RSS精选AI 评分7373 
Synopsys 推出 AgentEngineer 长程智能体组合与 Autopilot 平台
Synopsys 宣布推出 AgentEngineer 系列领域长程智能体及底层 Autopilot 平台，覆盖验证、系统验证、实现、模拟、制造与仿真分析等流程。
推荐理由：Synopsys 公布 AgentEngineer 智能体组合与 Autopilot 平台，并列出客户自述的验证、实现与模拟流程收益，可用于比较智能体接入 EDA 流程的方式。