IDS-AI 如何用 SpecCheck 智能体打造“黄金规格”
Agnisys 介绍 IDesignSpec-AI(IDS-AI)中的 SpecCheck 智能体如何检查规格是否达到“黄金规格”要求。该智能体先对规格做规则与 AI 语义分析,覆盖 CSR 模型(如 IP-XACT、SystemRDL),标记矛盾冲突、行为缺失、寄存器与字段错误、术语不一致、时序/复位/顺序问题及多文件间不一致,并通过受人工干预与批准的自校正循环修正。
NEWS / 动态
按时间浏览,使用右上角筛选切换领域。
Agnisys 介绍 IDesignSpec-AI(IDS-AI)中的 SpecCheck 智能体如何检查规格是否达到“黄金规格”要求。该智能体先对规格做规则与 AI 语义分析,覆盖 CSR 模型(如 IP-XACT、SystemRDL),标记矛盾冲突、行为缺失、寄存器与字段错误、术语不一致、时序/复位/顺序问题及多文件间不一致,并通过受人工干预与批准的自校正循环修正。
概伦电子在10月28日上海技术研讨会上正式发布PrimAI三层战略,涵盖AI in EDA工具层、Agentic EDA流程层与产业生态层。公司依托并购锐成芯微、纳能微形成EDA+IP双核布局,拥有1000+经硅验证物理IP,覆盖0.18μm-3nm。
Siemens 将在 11 月 17 日至 18 日举行的 DVCon Europe 2026 上赞助或参与多场教程与技术演讲,覆盖 Agentic AI 加速验证收敛、形式验证、HLS 和软硬件协同验证等主题。

Agnisys 提出“黄金规范”应作为 SoC 与 IP 架构及预期行为的单一权威来源,供设计、验证、编程、测试等团队共用。其 IDesignSpec-AI(IDS-AI)可处理文本、PDF、HTML、Markdown 等非结构化格式及 SystemRDL、IP-XACT、YAML、XML 等机器可读格式。
华大九天在HUG 2026发布AI平台.aix及Custom.aix、FPD.aix、Digital.aix、Manufacture.aix等EDA智能体,并称以安全沙箱和签核计算引擎构成“Design by AI,验证靠签核”方案。
推荐理由:华大九天公布.aix各领域智能体的迭代次数、效率与指标变化,可对照其自述的验证与签核环节。
ChipAgents 宣布把其智能体 AI 平台扩展至数字与模拟芯片设计,由 IC-star 芯片神经引擎驱动,整合设计知识本体、推理核心、多物理场模型和模型路由四项能力。
芯华章作为可信 Agentic EDA 代表企业亮相中科创达 ThunderWorld 2026 技术战略发布会,首席科学家徐强发表《让自主智能真正值得信任》演讲,分享以可信验证能力赋能自主智能。

Rambus 与 ChipAgents 宣布达成战略合作,将在全公司范围部署 ChipAgents 智能体 AI 平台,用于芯片与硅 IP 的设计和验证流程。双方还将结合 Rambus 的半导体与硅 IP 经验及 ChipAgents 工具无关的 AI 原生平台,提升客户在其偏好设计环境中的设计速度与 QoR。Rambus 同时成为 ChipAgents 的战略投资者。
芯华章10月19日在深圳举办Agentic EDA数字流程解决方案研讨会,来自CPU、AI芯片、FPGA、存储及通信芯片领域的六家产业伙伴分享了与芯华章合作的验证实践。
推荐理由:六家芯片公司披露芯华章智能体验证工具在真实项目中的周期、报错收敛与回归人工介入数据,可用于对照验证流程的接入条件。

Chipmind 介绍如何用 RTL Canvas 将 IP-XACT 元数据可视化为原理图,并由 Chipmind Agents 在底层执行编辑。以开源 PULPino 打包中 882 行 XML 的 apb_uart 组件为例,画布按总线类型着色、折叠物理端口,代理通过 add_instance、connect 等类型化操作生成结构化增量并以 Visual Diff 呈现。
ChipNexus 发布 NEX v5.81,新增通过 nex --agent=analog 启用的模拟设计模式,由模拟管理器把项目搭建、原理图、版图、仿真、物理验证和报告分派给 Virtuoso 子智能体。
推荐理由:原文列出模拟设计模式覆盖的 Virtuoso、Spectre、Calibre 环节与验收标准,可用于判断智能体接入模拟流程的边界。
Agnisys 与 Axiomise 宣布合作,将 Agnisys 的 IDS-NoC 自动 NoC 生成与 Axiomise 的 nocProve 形式化验证技术结合,面向 AI 处理器、GPU 和 AI 推理引擎等 NoC 设计。双方称该组合旨在缩短上市时间、提升复杂 NoC 设计的质量与验证置信度,减少流片前意外和重投片。

ChipAgents 在官方博客中提出面向回归分诊的 AI 原生根因分析思路,把调试难点拆为缺陷难度与缺陷数量两个维度,并指出最难的是大规模下的难缺陷。其流程为传统分箱后再做一次智能分箱合并疑似同源失败,只对每个分箱挑选最小见证仿真并开启波形转储,再交给自主 RCA 生成修复并验证,最后重跑回归确认。
DAC 2027 已开放征稿,会议将于 2027 年 7 月 11–14 日在圣何塞会议中心举行,这是 DAC 首次在圣何塞举办。征稿覆盖 AI、Design、EDA、Security 与 Systems 五大方向,设研究论文、工程报告、专题讨论、工作坊与教程等投稿形式,关注 AI 应用算力需求及 agentic AI 进入设计流程带来的性能、功耗、验证、安全与系统集成新问题。

AWS 与 ChipAgents 在 AWS 上展示 AI 加速芯片设计工作流,聚焦智能体 AI 与 EDA 内置 AI 的区别。AWS 通过 Amazon Bedrock 提供多种前沿模型,并让模型、智能体、RTL、PDK、网表等敏感数据留在客户 VPC 内,沿用既有 EDA 安全模型。演讲指出复杂半导体项目约需 30 个月,验证占工程投入很大比例,且美国芯片工程师中三分之一超过 55 岁。
Chipmind 通过瑞士创新署 Innosuisse 的 Start-up Innovation Projects 计划获得 137 万瑞士法郎资助,用于扩充研发与工程团队、加速开发 AI 驱动芯片设计技术。

Synopsys 与 OpenAI 宣布签署多年战略合作协议,共同开发芯片设计专用模型 GPT-Synopsys,OpenAI 将授权使用 Synopsys 的 EDA 工具来开发该模型,双方还约定收入分成与联合市场推广。
推荐理由:Synopsys 与 OpenAI 签署多年协议共同开发芯片设计专用模型,原文交代了分工、收入框架与早期客户接洽状态。

Synopsys 宣布推出 AgentEngineer 系列领域长程智能体及底层 Autopilot 平台,覆盖验证、系统验证、实现、模拟、制造与仿真分析等流程。
推荐理由:Synopsys 公布 AgentEngineer 智能体组合与 Autopilot 平台,并列出客户自述的验证、实现与模拟流程收益,可用于比较智能体接入 EDA 流程的方式。

ChipAgents 工程负责人 Mehir 在演讲中指出,多智能体并行生成设计假设的速度可能超过物理评估能力,3D IC 中热、时序、功耗与电迁移/IR drop 的多物理耦合进一步加剧这一瓶颈。
芯华章与滴水智行达成合作,围绕可信AI在车规安全方向的应用联合打造大模型车控安全保障体系。方案在大模型与车控执行链路之间构建安全仲裁中间件,涵盖意图安全解耦、确定性规则仲裁、人机确认闭环与全链路日志审计四大模块,确保车控指令经确定性安全审查后才可下发。
ChipNexus 发布 NEX v5.74,将 FPGA 流程拆分为工程建立、综合、实现、比特流导出等阶段分别委派,并为 Lattice Radiant 增加映射阶段。

NVIDIA 的 Karthik Chandrasekaran 在 DAC 2026 演讲中提出,AI 原生芯片设计依赖加速计算、AI 物理与 AI 智能体三层引擎协同。

ChipNexus(原 Primis AI)介绍其从 RapidGPT 演进而来的 NEX 智能体平台,并说明 Composable、Hierarchical、Adaptable、Secure、Extensible 五项 CHASE 原则。
合见工软在2026 IDAS设计自动化产业峰会上发布UniVista Verification GOAT,包含面向软件仿真、验证调试与根因分析、回归测试管理、硬件仿真与FPGA原型验证的四类专业Agent,可独立使用或组合,并支持通过开放接口接入客户自有Agent。
推荐理由:合见工软发布验证智能体家族,公开四类Agent分工、工具反馈闭环与两项自测结果,可用于比较验证流程的接入方式。

思尔芯在IDAS 2026“AI驱动设计-EDA协同”分论坛上介绍了其AI Agent与数字EDA融合的布局,并演示了引入AI Agent技术的Genesis芯神匠架构设计软件。该Agent在虚拟原型调试中可自动调用仿真工具,定位OpenSBI固件故障导致的启动异常问题。思尔芯称此次分享与Demo只是其AI战略的“初亮相”,更多AI Agent与数字EDA融合的产品与解决方案蓄势待发。

广立微在IDAS 2026设计自动化产业峰会上集中亮相多款新品,覆盖智能良率溯因Agent、可测试性设计智能体平台与硅光实测数据分析等方向,并承办制造与良率工程分论坛。其QuanTest YAD在第三届“中国芯”EDA专项颁奖中获“金口碑产品奖”。公司同时展示全流程EDA工具、DATAEXP大数据分析平台与AI智能体,分享软硬件一体化良率解决方案。
Sigasi 将于 10 月 14 日举办网络研讨会,演示 AI 智能体如何端到端完成完整工程目标,而非只处理孤立任务。两场演示分别从设计需求生成并配置完整 HDL 项目、再由 Sigasi 检查智能体成果,以及从现有代码库生成编译顺序与库映射以驱动下游仿真流程。智能体通过 Sigasi CLI 调用项目感知分析,daemon 模式在多次调用间保持项目加载,所有处理均在本地或用户 VPC 内完成。

ChipAgents 创始人兼 CEO William Wang 在 EE Times 的 Silicon Grapevine 对话中阐述了从 AI 辅助工程走向日益自主的芯片开发,ChipAgents 自身也从单智能体系统演进为可端到端执行复杂工作流的多智能体系统。
Siemens EDA IC 验证解决方案产品管理总监 Moses Satyasekaran 将于 9 月 8 日在 DVCon Taiwan 发表主题演讲,探讨智能体 AI 对设计与验证的影响。
总部位于苏黎世的芯片设计 AI 智能体初创公司 Chipmind 宣布赞助 DVCon Europe 2026 最佳论文奖,会议于 11 月 17–18 日在慕尼黑举行,为第 13 届。Chipmind 表示不会在会上宣布智能体取代现有方法学,而是希望与掌握方法学的工程师交流,并演示智能体运行仿真器、将改动以 RTL Canvas 评审形式带回。
芯华章科技研发副总裁刘军在中信证券第五届股权投资会议上表示,芯华章已布局智能设计和智能验证Agent,相关测试实现仿真效率7倍以上提升、自动化Debug效率10倍以上提升、自动化Formal验证效率提升70X。他提出可信EDA的核心是用确定性EDA工具对AI输出进行求证并形成可追溯证据链,以应对生成式AI提升代码效率后更重要的芯片设计验证需求。

ChipAgents 提出,智能体 AI 正把芯片工程师的角色从编写者推向审阅者与架构师,工程师需像管理者一样写规格、拆解任务并协调多个专用智能体。芯片设计数据远少于公开代码库,且网表、波形、寄生参数等非文本表示需借助仿真、形式化、物理设计与时序工具解读,因此最强架构是基础模型语义推理与半导体专用工具、自动验证的结合。
ChipNexus 发布 NEX v5.67,新增第三方 MCP 服务器支持,可按活跃工作流动态加载并只启动所需服务器。用户自定义技能可直接作为斜杠命令调用并支持热重载,NEX.md 项目指令在会话中动态重读。该版本还加入后台作业管理与轮询、终止工具,并优化读取上限、原子编辑和轮询以减少 token 消耗。
DAC 2026 首次在长滩举办即超出预期,总注册人数达 5,059,其中全会议与工程 track 通行证 2,630 张、I LOVE DAC 通行证 1,594 张、参展商展位人员 835 人。
Chipmind 演示了其生成式 UI 产品 RTL Canvas:工程师在现有芯片架构图上画红叉删除模块,AI 智能体 Chipmind John 解析意图、更新 RTL 实现,并以可交互的可视化 diff 返回结果供审批。该演示仅覆盖一个简单示例,Chipmind 称 RTL Canvas 旨在让团队以架构而非文本提示的方式设计、探索和评审大规模芯片与复杂 SoC,更多能力仍在开发中。
ChipNexus 发布 NEX v5.61,新增仓库级 grep 和 glob 工具,让智能体在遵循嵌套 .gitignore 规则的前提下检索大型代码库,并优先处理近期修改的文件。
推荐理由:原文列出仓库级检索、EDA 工具结果结构化与缓存改进,可用于比较智能体接入现有 RTL 与验证流程的条件。

ChipAgents 提出以多智能体编排替代单点 AI 智能体,让多个专用智能体在隔离沙箱中并行探索假设、调用 EDA 工具并评估结果,由工程师在关键节点审核。其平台在客户 WhaleChip 的部署中把 3D IC 根因分析从数天缩短到 15 分钟。文章以功耗优化流程为例,说明单点加速无法压缩整体串行循环,编排才能压缩整个设计迭代。
ChipAgents 介绍其构建 AI 智能体闭环以加速时序收敛的方法:在 RTL 阶段为智能体提供分钟级的快速 PPA 反馈,使其能比较不同方案、剔除导致功耗或面积不可接受回退的时序修复。

DAC 2026 第七届开源 EDA Birds-of-a-Feather 会议吸引超过 120 名参会者,讨论 AI、开源硬件与开源 EDA 的交叉。OpenROAD 介绍了组织与治理结构更新,CHIPS Alliance 汇报了开源硬件与 EDA 项目协作进展,会上还宣布 2nm nanosheet 研究 PDK 可用并更新 3D ODB。
芯华章转载文章讨论 IC Agent 演示读 spec、生成 RTL 与 testbench、读 log 给 patch 并整理报告后,工程师如何继续成长。作者认为 Agent 最危险之处在于提前替人处理掉失败、反馈与打回,而判断对错、风险、证据和边界的能力才是可迁移的护城河。