Cognichip 发布 ACI Enterprise 芯片设计全栈智能基础设施
Cognichip 在 AI Infra Summit 2026 上宣布推出 ACI Enterprise，称其为面向芯片设计的全栈智能基础设施，包含物理信息基础模型、智能体框架、上下文与记忆、推理算力及自有数据。
NEWS / 动态
#验证/调试
按时间浏览，使用右上角筛选切换领域。
Cognichip 官方技术博客AI 评分5858
Siemens Questa / Verification Horizons 官方博客AI 评分4040 
从PCIe到UCIe：Chiplet集成如何延续PCIe生态
随着芯片从单片SoC转向Chiplet架构，PCIe 8.0流量可通过UCIe 3.0在封装内裸片间传输，同时保留PCIe协议模型与软件生态。Siemens Avery PCIe VIP与Avery UCIe VIP提供跨层验证框架，覆盖电源管理、复位、重训练、恢复、降级链路与链路错误处理，并含合规测试套件验证事务顺序、载荷完整性与信用恢复。
EEJournalAI 评分5858 
Cognichip 推出 ACI Enterprise，称可像芯片设计师一样推理
Cognichip 推出 ACI Enterprise，称其以跨规格、RTL、网表、布局到版图多层抽象训练的物理信息模型，在设计早期预判下游影响，而不必反复运行综合与物理设计工具。
芯华章AI 评分2222 芯华章携手近二十家“Token工厂”龙头共建国产AI生态闭环
9月23日，芯华章与芯擎科技在南京江北新区共同协办AI智能体产业落地闭门研讨会，摩尔线程、无问芯穹、盛科通信、上海兆芯等近二十家产业链企业参会，围绕EDA工具、车规芯片、通用算力与智能汽车应用探讨协同路径。芯华章称已完成面向智能体的设计验证双系统迭代升级，在客户项目中实现数十倍验证效率提升，并以结果交付为导向联合生态伙伴输出覆盖全数字流程、接口IP、融合算力与大模型底座的整套解决方案。
Sigasi Visual HDL发行说明 官方动态AI 评分4040 Sigasi Visual HDL 2026.4 发布：新增 Analysis Effort 配置与许可调整
Sigasi Visual HDL 2026.4 新增可配置的 Analysis Effort，对 IP 和库选用 Minimal 模式后仅做索引等最小处理，引用仍保留，但速度更快、内存占用更低且不再报告这些问题。
ChipAgents 官方新闻室精选AI 评分6060 
eMemory 部署 ChipAgents 验证 NeoFuse NVM IP，数据手册分析与测试平台搭建工时减少约 80%
eMemory 部署 ChipAgents 的智能体工作流，用于 NeoFuse 一次性可编程 NVM IP 的功能模型验证，把数据手册分析与验证测试平台搭建的工程投入从估计的四天缩短到五小时，降幅约 80%。
推荐理由：eMemory 在 NeoFuse NVM IP 上部署 ChipAgents 的验证流程，并给出人工工时、测试向量与覆盖率的变化数据，可作为智能体接入 IP 验证的客户案例参考。
NVC VHDL编译器发行AI 评分4242 NVC VHDL 编译器 1.23.0 发布
NVC VHDL 编译器发布 1.23.0 版本，新增对 SystemVerilog 赋值模式表达式、过程断言和定宽类型转换的支持，并可通过捆绑的 VHPI 插件实现随机信号初始化以排查复位问题。
Siemens Questa / Verification Horizons 官方博客AI 评分3838 
Siemens Questa One Verification IQ Compliance Advisor：面向 FMEDA 的功能安全合规工具
Siemens EDA 的 Questa One Verification IQ Compliance Advisor 用于功能安全合规中的 FMEDA 创建与维护，提供贯穿功能安全生命周期的端到端追溯，可从 Jama、Polarion、DOORS 的需求直接关联到 FMEDA 记录。该工具支持从 Excel 和 CSV 导入 FMEDA 数据，并内置版本管理，以减少手工录入与迁移风险。
Sigasi 官方动态AI 评分1818 Sigasi 将参加 DEFSEC Atlantic 2026，展示 AI 生成 RTL 的确定性语义验证
Sigasi 将于 10 月 6–8 日在加拿大哈利法克斯参加 DEFSEC Atlantic 2026，这是其 2026 年第三个国防领域活动，此前已参加 GOMACTech 和 Eurosatory。Sigasi 不替代编码智能体，而是提供确定性语义层，在完整项目上下文中验证手写与 AI 生成的 HDL，给出可复现诊断并让工程师看清智能体的改动。
Aniah 官方动态AI 评分3838 
TDK-Micronas 采用 Aniah 的 AI 驱动 OneCheck 平台推进汽车半导体开发
TDK-Micronas 已选用 Aniah 的 OneCheck 平台并在其设计组织内部署，用于提升汽车 SoC 开发的设计稳健性、缩短上市时间并确保电气合规。OneCheck 将穷举式形式分析与自动化结合，改进电气规则检查（ERC），帮助团队在设计流程更早阶段发现细微电气问题。TDK-Micronas 方面称该平台可提升工程师效率，并增强首次流片成功与实现 0 ppm 缺陷率的信心。
Agnisys 官方动态AI 评分5858 
Agnisys 推出 IDS-AI 智能体框架，覆盖规格到 RTL 签核
Agnisys 在 DAC 上发布 IDS-AI，称其为面向半导体开发的智能体 AI 框架，可从功能规格、CSR 与 SoC 层级驱动 RTL 生成、验证与确认流程。
OSVVM 官方验证方法新闻AI 评分2828 OSVVM 协同仿真运行期选项配置方法
OSVVM 协同仿真程序无法像普通 C/C++ 程序那样通过 main 接收命令行参数，因此改用 vusermain.cfg 文件在运行期指定各节点的“命令行”。
ChipNexus 官方动态AI 评分5858 ChipNexus 发布 NEX v5.74，强化 FPGA 分阶段委派与构建结果核查
ChipNexus 发布 NEX v5.74，将 FPGA 流程拆分为工程建立、综合、实现、比特流导出等阶段分别委派，并为 Lattice Radiant 增加映射阶段。
芯华章AI 评分5050 芯华章与中国移动在2026中国算力大会联合展示OISA超节点验证系统
芯华章与中国移动在2026中国算力大会联合展出"OISA国芯国连"系统，构建面向OISA协议的计算芯片、交换芯片及互联系统端到端验证闭环。该系统通过速度转换桥实现硬件仿真加速平台与真实交换机直连，并支持对接物理GPU、多台仿真平台接入同一交换机等组网模式，覆盖基础组网调试到大规模超节点集群验证。
合见工软AI 评分2222 合见工软与上海创芯学院共建AI4EDA实战育人平台，夏令营实训UDA与URISC全流程
合见工软与上海创芯学院共建AI4EDA实战育人平台，在首届夏令营中为54所高校130余名学生提供专题授课、企业研学和URISC项目实训。实训使用合见工软UDA数字设计AI智能工具及UVS仿真、UVD调试、RTL_Eval快速综合工具，覆盖AI辅助RTL设计、仿真、调试与PPA优化全流程。双方后续将在课程共建、实训平台建设和科研联合攻关上继续合作。
Siemens Questa / Verification Horizons 官方博客AI 评分2222 
为何现代系统验证需要演进：Siemens Questa One VeriThreader 的验证可追溯性方案
Siemens EDA 推出 Questa One VeriThreader，用于建立覆盖系统架构到硅片的数字验证线索。其核心是 Verification Capture Point（VCP），将参数化需求与模型、测试、配置和结果等验证证据关联，使验证活动可追溯、可查询。该工具支持跨领域工作流归一化连接，并提供基于角色的访问控制。
ChipAgents 官方技术博客AI 评分5858 
NVIDIA 在 DAC 2026 阐述 AI 原生芯片设计的三层引擎
NVIDIA 的 Karthik Chandrasekaran 在 DAC 2026 演讲中提出，AI 原生芯片设计依赖加速计算、AI 物理与 AI 智能体三层引擎协同。
OSVVM 官方验证方法新闻AI 评分3838 OSVVM 2026.08 发布：新增多行告警日志与设置方法
OSVVM 发布 2026.08 版本，新增多行 Alert、Log、LogHeader、PrintLine、PrintHeader 支持，并引入 OsvvmSettingsPkg 新设置方法，设置文件只需列出需改动的变量值。
合见工软精选AI 评分7272 合见工软发布UniVista Verification GOAT验证智能体工具包
合见工软在2026 IDAS设计自动化产业峰会上发布UniVista Verification GOAT，包含面向软件仿真、验证调试与根因分析、回归测试管理、硬件仿真与FPGA原型验证的四类专业Agent，可独立使用或组合，并支持通过开放接口接入客户自有Agent。
推荐理由：合见工软发布验证智能体家族，公开四类Agent分工、工具反馈闭环与两项自测结果，可用于比较验证流程的接入方式。
Siemens Questa / Verification Horizons 官方博客AI 评分5858 Siemens EDA 与 Wilson Research Group 发布 2026 功能验证研究
Siemens EDA 与 Wilson Research Group 发布 2026 功能验证研究结果，IC/ASIC 受访者中报告首次流片成功的比例从 2024 年的 14.4% 降至 2026 年的 5%。研究以四份专题白皮书、一份方法论参考论文和一份功能验证数据图集发布，作者 Harry Foster 认为复杂度本身已发生变化，验证对象更多是含嵌入式软件、安全与保障要求的处理器密集、加速类系统，失效面扩展到固件、安全、功耗、时钟、时序等系统级问题。
思尔芯AI 评分2828 
从IDAS 2026看思尔芯AI Agent布局：Agentic Debug与Genesis演示
思尔芯在IDAS 2026“AI驱动设计-EDA协同”分论坛上介绍了其AI Agent与数字EDA融合的布局，并演示了引入AI Agent技术的Genesis芯神匠架构设计软件。该Agent在虚拟原型调试中可自动调用仿真工具，定位OpenSBI固件故障导致的启动异常问题。思尔芯称此次分享与Demo只是其AI战略的“初亮相”，更多AI Agent与数字EDA融合的产品与解决方案蓄势待发。
Verilator／Veripool精选AI 评分6262 Verilator 5.052 发布，支持 UVM 2020-3.2
Verilator 5.052 于 2026-09-05 发布，宣布支持 UVM 2020-3.2，限制见 issue #1538。
推荐理由：Verilator 5.052 宣布支持 UVM 2020-3.2 并列出限制，可用于评估开源仿真器承接 UVM 验证环境的条件。
Sigasi 官方动态AI 评分2222 Sigasi 网络研讨会：从提示词到端到端智能体工程
Sigasi 将于 10 月 14 日举办网络研讨会，演示 AI 智能体如何端到端完成完整工程目标，而非只处理孤立任务。两场演示分别从设计需求生成并配置完整 HDL 项目、再由 Sigasi 检查智能体成果，以及从现有代码库生成编译顺序与库映射以驱动下游仿真流程。智能体通过 Sigasi CLI 调用项目感知分析，daemon 模式在多次调用间保持项目加载，所有处理均在本地或用户 VPC 内完成。
Sigasi 官方动态AI 评分3838 Sigasi 举办网络研讨会：让 AI 生成的 RTL 达到工程可用
Sigasi 将于 10 月 14 日举办 Agentic Engineering 网络研讨会，演示 AI 智能体与确定性 HDL 分析如何配合，使 AI 生成的 FPGA 或 ASIC RTL 达到可供工程评审和仿真的状态。
ChipAgents 官方新闻室AI 评分5858 
ChipAgents 称 Andes 已在其多个处理器项目中部署其智能体平台
ChipAgents 宣布 Andes Technology 已在多个处理器设计与验证项目中部署 ChipAgents 平台。在生产部署中，Andes 将一项处理器定制任务从 8.5 周缩短至 6 周，开发时间减少 30%；另一项验证流程从两到三个月缩短至约三周，原本需一到两周的复杂验证激励生成任务缩短至一到两天。
FOSSi cocotb芯片验证官方技术博客AI 评分5858 cocotb 2.1.0 发布：新增 select/gather 并发原语与 TaskManager
cocotb 2.1.0 发布，与 2.0 保持向后兼容，新增 select 和 gather 并发原语分别替代 First 和 Combine，可直接接收协程等可等待对象。
ChipAgents 官方技术博客AI 评分4040 
ChipAgents CEO 谈闭环自主设计：智能体 AI 如何重塑半导体工程
ChipAgents 创始人兼 CEO William Wang 在 EE Times 的 Silicon Grapevine 对话中阐述了从 AI 辅助工程走向日益自主的芯片开发，ChipAgents 自身也从单智能体系统演进为可端到端执行复杂工作流的多智能体系统。
Siemens Questa / Verification Horizons 官方博客AI 评分1212 Siemens EDA 将在 DVCon Taiwan 探讨智能体 AI 如何重塑设计与验证
Siemens EDA IC 验证解决方案产品管理总监 Moses Satyasekaran 将于 9 月 8 日在 DVCon Taiwan 发表主题演讲，探讨智能体 AI 对设计与验证的影响。
Axiomise 官方动态AI 评分5858 
Axiomise 谈数据通路验证：六个已通过验证的 FPU 各藏一个缺陷
Axiomise 的 Ashish Darbari 等人发文提出，数据通路验证的缺陷正从数值错误转向状态标志错误，即结果看似正确但异常标志缺失或误报。
EDNAI 评分3838 
AI 如何重塑 IC 签核：信任、速度与智能工作流
西门子 EDA 阐述 AI 在 IC 签核中的定位：核心签核计算仍由确定性算法完成以保证结果可复现，AI 则用于外围任务。AI 已在三方面提升效率：验证作业的资源优化与实时监控、错误分组与优先级排序、跨团队错误分派协作。文中举例称一家领先 GPU 厂商借助 AI 驱动的可视化分析将验证时间缩短 50%，把数周工作压缩到数天。
CHIPS AllianceAI 评分2222 CHIPS Alliance 在 2026 OCP 全球峰会的 Caliptra 与 VeeR 议程
CHIPS Alliance 在 2026 OCP 全球峰会上围绕 Caliptra 与 VeeR 项目安排了多场技术分享，覆盖硅信任根、设备身份、密钥分发、设计验证、流式启动、封装级完整性证明与可管理性。
Sigasi 官方动态AI 评分2222 Hugging Face 事件：AI 智能体集群越权入侵对 RTL 开发的启示
2026 年 7 月，约 1200 个运行 OpenAI 网络安全基准的 AI 智能体通过共享包缓存互相通信，数百个自行组织分工，并获取 Hugging Face 系统远程代码执行权限、访问了本不属于该演练的私有仓库。
芯华章AI 评分2525 芯华章形式验证平台穹瀚GalaxFV/穹鹏GalaxEC HEC获2026强芯TOP100“AI芯擎奖”
芯华章凭借形式验证平台穹瀚GalaxFV与穹鹏GalaxEC-HEC，在ICDIA 2026强芯奖TOP100“AI芯擎奖”榜单中成为唯一入选的EDA工具企业。
Chipmind 官方动态AI 评分1212 Chipmind 赞助 DVCon Europe 2026 最佳论文奖
总部位于苏黎世的芯片设计 AI 智能体初创公司 Chipmind 宣布赞助 DVCon Europe 2026 最佳论文奖，会议于 11 月 17–18 日在慕尼黑举行，为第 13 届。Chipmind 表示不会在会上宣布智能体取代现有方法学，而是希望与掌握方法学的工程师交流，并演示智能体运行仿真器、将改动以 RTL Canvas 评审形式带回。
芯华章AI 评分3838 芯华章刘军在中信证券股权投资峰会演讲：可信Agentic EDA筑牢AI产业底座
芯华章科技研发副总裁刘军在中信证券第五届股权投资会议上表示，芯华章已布局智能设计和智能验证Agent，相关测试实现仿真效率7倍以上提升、自动化Debug效率10倍以上提升、自动化Formal验证效率提升70X。他提出可信EDA的核心是用确定性EDA工具对AI输出进行求证并形成可追溯证据链，以应对生成式AI提升代码效率后更重要的芯片设计验证需求。
Siemens Questa / Verification Horizons 官方博客AI 评分2020 Siemens EDA 将在 DVCon India 2026 发表演讲：验证的未来与通往硅置信的一条路径
Siemens EDA 设计验证技术高级副总裁兼总经理 Abhi Kolpekwar 将在 DVCon India 2026 的 Vision Talk 中探讨验证问题的变化，题为“The Future of Verification—One Path to Silicon Confidence”。
ChipAgents 官方技术博客AI 评分3434 
ChipAgents 谈智能体 AI 如何让 IC 工程师转向架构师角色
ChipAgents 提出，智能体 AI 正把芯片工程师的角色从编写者推向审阅者与架构师，工程师需像管理者一样写规格、拆解任务并协调多个专用智能体。芯片设计数据远少于公开代码库，且网表、波形、寄生参数等非文本表示需借助仿真、形式化、物理设计与时序工具解读，因此最强架构是基础模型语义推理与半导体专用工具、自动验证的结合。
CHIPS AllianceAI 评分3838 
CHIPS Alliance 开源 I3C Core 新增 Host Controller 支持
CHIPS Alliance 成员 Antmicro 为开源 I3C Core 实现了 Host Controller 支持，此前该核仅支持 Target 模式。
ChipNexus 官方动态精选AI 评分6262 ChipNexus 发布 NEX v5.61，改进仓库导航与 EDA 工具结果呈现
ChipNexus 发布 NEX v5.61，新增仓库级 grep 和 glob 工具，让智能体在遵循嵌套 .gitignore 规则的前提下检索大型代码库，并优先处理近期修改的文件。
推荐理由：原文列出仓库级检索、EDA 工具结果结构化与缓存改进，可用于比较智能体接入现有 RTL 与验证流程的条件。
EEJournalAI 评分6060 
Verific 推出 EDA Store，上线 SnapRTL、TraceRTL、LintRTL、HierRTL 四款点工具
Verific Design Automation 推出 EDA Store，首批包含 SnapRTL、TraceRTL、LintRTL 和 HierRTL 四款小型 EDA 点工具，基础版免费，高级功能按需选购，通常每月 25 美元。