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),标记矛盾冲突、行为缺失、寄存器与字段错误、术语不一致、时序/复位/顺序问题及多文件间不一致,并通过受人工干预与批准的自校正循环修正。

Circuit Mind 发布 AVE(Agentic Verification Engine),用于自动审查电路原理图,可检查 ACE 生成的设计,也可检查用常规 ECAD 工具手工绘制的原理图。
从规范自动生成 SystemVerilog 属性仍受限于现有规范质量不足,Synopsys 的 Ravindra Aneja 认为行业尚未达到规范足够好用的程度。
ChipAgents 宣布把其智能体 AI 平台扩展至数字与模拟芯片设计,由 IC-star 芯片神经引擎驱动,整合设计知识本体、推理核心、多物理场模型和模型路由四项能力。

思尔芯在第六届RISC-V中国峰会上展示了大模型驱动的RISC-V虚拟平台与人机协同调试工作流,该平台可运行固件、引导程序及操作系统,提供处理器、内存、总线、中断及常用外设的仿真环境,并支持断点、观察点、状态检查、执行跟踪及运行状态保存与恢复。
Sigasi Visual HDL 2026.5 将 Sigasi MCP 服务器开放给在 VS Code 和 Cursor 中运行的 AI 智能体,包括 Claude Code、OpenAI Codex 和 Mistral Vibe。
推荐理由:原文说明 MCP 服务器内置于各版本并列出可接入的智能体与项目级依赖路径改动,可用于比较 HDL 编辑器与 AI 智能体的接入方式。
Sigasi Visual HDL 2026.5 发布,其 MCP 服务器向 VS Code 内的 Claude Code、OpenAI Codex、Mistral Vibe 等 AI 智能体开放,智能体可格式化 HDL、读取 lint 违规并浏览项目结构。
Sigasi 在 10 月 14 日的线上研讨会中让 AI 智能体(演示用 Claude Code)完成两个 HDL 工程目标,两者都自行结束,但确定性分析仍报出未用信号、generic 映射问题、未约束信号类型和空范围等遗留项。

AWS 与 ChipAgents 在 AWS 上展示 AI 加速芯片设计工作流,聚焦智能体 AI 与 EDA 内置 AI 的区别。AWS 通过 Amazon Bedrock 提供多种前沿模型,并让模型、智能体、RTL、PDK、网表等敏感数据留在客户 VPC 内,沿用既有 EDA 安全模型。演讲指出复杂半导体项目约需 30 个月,验证占工程投入很大比例,且美国芯片工程师中三分之一超过 55 岁。

随着Synopsys的AgentEngineer工具、Cognichip的ACI平台及华大九天的AI agent逐步承担芯片验证、RTL生成与版图任务,AI自主设计引发的专利侵权归属问题浮出水面。

芯片设计正从工程师使用AI工具,走向AI系统参与设计下一代AI硬件。Cadence、Synopsys、Siemens EDA等厂商的AI增强工具已用于布局布线、验证等环节,新兴智能体可操作多种EDA工具并迭代优化。OpenAI称Jalapeño项目中AI参与实现、设计空间探索与验证,九个月完成设计到流片,BF16乘法器等模块PPA较人工基线提升56%、21%、10%。

OpenAI 硬件副总裁 Richard Ho 在访谈中介绍,Jalapeño 推理 ASIC 从零开始到流片约九个月,团队借助 Codex 等 AI 模型提升设计效率,但签核仍使用标准 EDA 流程。他表示这一周期确立了新的设计基线,并称 Jalapeño 在开源模型上同样表现良好,计划 2027 年放量。
Cognichip 在 AI Infra Summit 2026 上宣布推出 ACI Enterprise,称其为面向芯片设计的全栈智能基础设施,包含物理信息基础模型、智能体框架、上下文与记忆、推理算力及自有数据。

Cognichip 推出 ACI Enterprise,称其以跨规格、RTL、网表、布局到版图多层抽象训练的物理信息模型,在设计早期预判下游影响,而不必反复运行综合与物理设计工具。

Agnisys 在 DAC 上发布 IDS-AI,称其为面向半导体开发的智能体 AI 框架,可从功能规格、CSR 与 SoC 层级驱动 RTL 生成、验证与确认流程。

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

ChipNexus(原 Primis AI)介绍其从 RapidGPT 演进而来的 NEX 智能体平台,并说明 Composable、Hierarchical、Adaptable、Secure、Extensible 五项 CHASE 原则。
Sigasi 将于 10 月 14 日举办网络研讨会,演示 AI 智能体如何端到端完成完整工程目标,而非只处理孤立任务。两场演示分别从设计需求生成并配置完整 HDL 项目、再由 Sigasi 检查智能体成果,以及从现有代码库生成编译顺序与库映射以驱动下游仿真流程。智能体通过 Sigasi CLI 调用项目感知分析,daemon 模式在多次调用间保持项目加载,所有处理均在本地或用户 VPC 内完成。
Sigasi 将于 10 月 14 日举办 Agentic Engineering 网络研讨会,演示 AI 智能体与确定性 HDL 分析如何配合,使 AI 生成的 FPGA 或 ASIC RTL 达到可供工程评审和仿真的状态。
Chipmind 演示了其生成式 UI 产品 RTL Canvas:工程师在现有芯片架构图上画红叉删除模块,AI 智能体 Chipmind John 解析意图、更新 RTL 实现,并以可交互的可视化 diff 返回结果供审批。该演示仅覆盖一个简单示例,Chipmind 称 RTL Canvas 旨在让团队以架构而非文本提示的方式设计、探索和评审大规模芯片与复杂 SoC,更多能力仍在开发中。
ChipAgents 介绍其构建 AI 智能体闭环以加速时序收敛的方法:在 RTL 阶段为智能体提供分钟级的快速 PPA 反馈,使其能比较不同方案、剔除导致功耗或面积不可接受回退的时序修复。
芯华章转载文章讨论 IC Agent 演示读 spec、生成 RTL 与 testbench、读 log 给 patch 并整理报告后,工程师如何继续成长。作者认为 Agent 最危险之处在于提前替人处理掉失败、反馈与打回,而判断对错、风险、证据和边界的能力才是可迁移的护城河。
Sigasi 发布四个演示,展示 Claude Code、Cursor、Copilot 等编码智能体通过 MCP 和 Sigasi CLI 调用其确定性 HDL 分析,用于迭代生成 SDRAM 控制器、修复项目依赖、排查 UVM 测试平台问题和统一格式化 VHDL、Verilog、SystemVerilog 文件。
Primis AI 宣布更名为 ChipNexus,并推出面向半导体与硬件设计的智能体 AI 平台 NEX。NEX 可生成与重构 RTL、分析原理图、配置并运行数字与模拟仿真、排查验证失败,以及编排综合与物理设计工具,并接入现有 EDA 环境、代码仓库、自动化脚本与 CI/CD。
推荐理由:官方公告列出 NEX 可编排的 RTL、仿真、验证与综合环节,并给出独立评测中双核处理器的实现与验证案例。
Agnisys 宣布将在 7 月 27–29 日于长滩举行的 DAC 2026 上展示 IDS-AI、IDS-NoC 及先进 DFT 自动化。IDS-AI 是理解芯片设计意图、覆盖从黄金规范到 RTL 签核全流程的智能体 AI 框架;IDS-NoC 自动生成可扩展、无死锁的开放 SystemVerilog NoC RTL。
Cognichip 在 EETimes Chiplet Conference 上演示了 Seascape——一个用 200 行 Python 编写的全程序化海面计算应用,其实际运行在为此定制的硬件上,含超 8 万行密集数学代码、2000 周期流水线和 256 个并行物理实例。

月之暗面7月17日凌晨发布Kimi K3,官方称其搭载2.8万亿参数、100万Token上下文,是当前参数体量最大的开源大模型,完整权重将于7月27日前发布。官方表示在连续48小时自主智能体运行中,K3基于开源EDA工具和Nangate 45nm工艺库独立完成芯片的构建、优化与验证,该芯片在100 MHz下完成时序收敛,仿真解码吞吐持续超过每秒8700个Token。

Chipmind 发布 RTL Canvas,称其为芯片设计工程师与 AI 智能体之间的首个双向契约界面,工程师可在 RTL 图上直接绘制架构意图,智能体生成的改动以可视化差异回显。
Sigasi 发布 Visual HDL 2026.2,围绕 AI 辅助 RTL 开发强化三处能力:Modular Projects 成为新项目默认结构,新增 Sigasi MCP 服务器可向 VS Code + Copilot、Cursor 等 AI 助手提供设计信息,Sigasi CLI 完全重写并支持 daemon 以加快重复调用。

ChipNexus 与普渡大学 SoCET 团队合作,用从 32 位 ALU 到双核缓存一致 RV32I 处理器的四级任务评测 NEX 的 RTL 设计能力。最复杂设计含 25–30 个 RTL 文件和约 30 个汇编测试程序,人工估计约 100 小时,使用 NEX 后约 2.5–3.5 小时完成,有经验设计者的活跃设计时间降幅在 2.4 倍到 43 倍之间。
Si2 发布开源基准 CVDP 1.1.0,针对 AI 智能体改进评测框架。该版本采用 cocotb、Yosys、IVerilog 的稳定版本,cocotb 2.x 有望支持更多开源与商业仿真器,框架内新增使用 Claude Code 运行评测的初始设置,并增加来自 40 多个开源仓库的 100 个数据点,含人工植入缺陷和更大规模问题。
推荐理由:CVDP 1.1.0 的更新清单可用于比较面向 AI 智能体的 RTL 基准在工具版本与数据规模上的变化。
ChipNexus 发布 NEX v5.40,重做文件操作并新增原生 QuestaSim 集成。文件操作支持自动 diff 与确认、上下文 grep、定向补丁、写入前预览和大文件分页;QuestaSim 侧提供专用 MCP server 与验证工作流,缺失时自动生成 run_sim.do。

ChipAgents 发布首个面向芯片设计的智能体大模型 Renoir,基于开源权重 MoE 大模型微调,可在气隙本地环境部署。官方称在覆盖 RTL 生成、缺陷定位与规格到代码实现的内部芯片设计基准上,Renoir 超过其基座模型、接近 Claude Opus 4.6,成本降低一半以上。团队表示该模型在数据、时间和算力受限预算下训练,属于一次试水,后续将扩大数据集和训练规模。
推荐理由:ChipAgents 公布 Renoir 的微调来源、内部基准覆盖任务与成本对比,可了解其自评口径与本地部署条件。
Silimate CTO Akash 在访谈中介绍公司面向芯片设计者的 copilot,聚焦在综合前发现并修复功能与 PPA 问题。其 PPA 工具 Preqorsor 提供功耗、性能、面积的早期估算并标出瓶颈,目标不是替代综合报告,而是更快反馈,尤其针对较小 RTL 块。公司已有 10+ 客户,包括 Tenstorrent;PPA 预测更多依赖传统机器学习,LLM 则用于优化与功能正确性。

NVIDIA 在 GTC Taipei 展示 NemoClaw,一个用于构建专用长时运行智能体的开放蓝图,含可选编排框架(如 OpenClaw、Hermes)、模型路由和 NeMo 库,核心开源运行时 OpenShell 按策略管控智能体对文件、网络和工具的访问。
Sigasi 举办网络研讨会,介绍其 Visual HDL 如何将 AI 生成代码与确定性验证结合,以安全集成到芯片设计流程中。该研讨会于 3 月 24 日直播,面向希望借助 AI 提速但不愿承担相关风险的工程师。Sigasi 强调获胜的工作流不是单靠 AI,而是 AI 加确定性验证。
Sigasi 发文阐述 AI 在 RTL 开发中的定位:AI 助手与智能体可快速生成 HDL、重构模块、提出修复建议,但生成代码仍需在完整项目上下文中评审与验证。
Chipmind 称其芯片设计智能体 John 在 20 分钟内把 SHA 加密核集成进一颗 SoC,改动 15 个文件且 CI 测试通过,全程无人工交互。John 在既有设计环境中调用 EDA 工具,完成 OBI 到 AXI 桥接、扩展 RTL 测试平台与固件测试并跑通仿真,最终由人类工程师评审通过。
Chipmind 官方阐述其 AI 设计助手将 IP-XACT(IEEE 1685)、SystemRDL 等标准化元数据作为一等输入输出,并同步生成寄存器映射、文档与固件头文件。

Jane Street 工程师 Anish Singhani 发起 Advent of FPGA 竞赛,要求用可综合硬件解决 Advent of Code 2025 题目,提交截止 2026 年 1 月 16 日,奖品含 UltraScale+ FPGA 开发板。