Sigasi 网络研讨会:如何在芯片设计中安全集成 AI 生成代码
Sigasi 举办网络研讨会,介绍其 Visual HDL 如何将 AI 生成代码与确定性验证结合,以安全集成到芯片设计流程中。该研讨会于 3 月 24 日直播,面向希望借助 AI 提速但不愿承担相关风险的工程师。Sigasi 强调获胜的工作流不是单靠 AI,而是 AI 加确定性验证。
NEWS / 动态
按时间浏览,使用右上角筛选切换领域。
Sigasi 举办网络研讨会,介绍其 Visual HDL 如何将 AI 生成代码与确定性验证结合,以安全集成到芯片设计流程中。该研讨会于 3 月 24 日直播,面向希望借助 AI 提速但不愿承担相关风险的工程师。Sigasi 强调获胜的工作流不是单靠 AI,而是 AI 加确定性验证。

Axiomise 创始人 Ashish Darbari 在 DVCon USA 后整理形式验证的 11 个常见问题,称团队近期对含 3.38 亿触发器、11 亿门的深度时序设计一次性整体编译,未做 cut-point 或 boxing,借助 Axiomise proof accelerators 在数秒内发现缺陷。
Sigasi 发文阐述 AI 在 RTL 开发中的定位:AI 助手与智能体可快速生成 HDL、重构模块、提出修复建议,但生成代码仍需在完整项目上下文中评审与验证。

IC Manage 宣布把设计数据与 IP 管理系统 GDP-XL 升级为 GDP-AI,现有客户无需数据迁移或系统停机即可获得生成式与智能体 AI 能力。公告列出四项功能:自然语言界面用于查询设计数据、AI 生成含 GDP 命令的工作流脚本、通过 Model Context Protocol 以只读工具实时访问结构化数据、基于 RAG 的文档语义检索。

芯和半导体在SEMICON China期间宣布品牌升级,将公司定位从EDA工具软件公司调整为“AI时代的系统设计领航员”,以系统级集成(STCO)重构芯片到系统的智能设计。公司称将依托多物理场耦合仿真引擎,把设计边界从单芯片扩展至先进封装、异构集成、高带宽存储、超高速互连与AI数据中心架构等完整系统,并围绕Chiplet产业链从工具供应商转向生态构建者。
Sigasi 在成立 18 年之际对数百名用户开展调查,结果显示近 60% 用户每天使用 Sigasi,超 80% 用于 FPGA 设计、超 50% 用于 ASIC/SoC 或 IP 设计。
Sigasi 宣布将参加 3 月 9–12 日在路易斯安那州新奥尔良 Ernest N. Morial 会议中心举行的 GOMACTech 2026,并在 205 号展位与参会者交流。

UCIe 联盟将参加 2 月 17-19 日在圣克拉拉会议中心举办的 Chiplet Summit,并扩大参与规模,赞助多场活动。联盟主席 Debendra Das Sharma 将发表主题演讲,介绍 UCIe 3.0 规范及裸片间互连标准的采用收益;Intel 与 Cadence 成员将分享互操作性案例。
Chipmind 称其芯片设计智能体 John 在 20 分钟内把 SHA 加密核集成进一颗 SoC,改动 15 个文件且 CI 测试通过,全程无人工交互。John 在既有设计环境中调用 EDA 工具,完成 OBI 到 AXI 桥接、扩展 RTL 测试平台与固件测试并跑通仿真,最终由人类工程师评审通过。
Sigasi 提出用 Visual HDL 在编码、复用 IP 和集成 AI 生成代码阶段拦截缺陷,其核心诊断具备确定性和可复现性,可在编辑器与 CI 中一致运行。

Adam Taylor 以 AMD Artix-7(xc7a200t-2)上的 FIR 滤波器为例,将 Blue Pearl Visual Verification Suite(VVS)放入迭代流程,用其 COMB 分析定位直接型累加造成的组合逻辑过深问题。
Aldec 发布 ALINT-PRO 2025.12,在 Premium 规则库中新增一组混合语言设计规则,针对 VHDL 与 Verilog/SystemVerilog 在同一项目中的模块/实体例化与参数传递。

Rivos 在 AI LLM 与数据分析数据中心芯片的 RTL 签核流程中采用 Real Intent Meridian RDC 做复位域交叉(RDC)签核,在 IP 与芯片两级运行其层次化流程。初始设置约需数小时,借助已有的 Meridian CDC 设置与自动生成输入文件,完整验证并清理设置约需一周;设计、架构与固件团队共同评审复位场景、违例与约束,最终签核允许部分 waiver。

ChipAgents 宣布已通过 SOC 2 Type II 合规认证,称这是其在企业级安全与运营规范上的重要里程碑。公司表示该认证体现其内部管控与治理能力,可满足对安全要求严格的大型半导体企业;其 Renoir 模型支持气隙、本地部署,客户设计数据隔离且不用于训练其他客户模型。

奇捷科技入选德勤中国“2025中国明日之星”榜单,颁奖典礼于12月16日在江苏无锡举行。该榜单评选中国市场内创新能力突出、成长潜力显著、商业表现卓越的企业,奇捷科技称其产品和服务已在众多芯片设计企业得到应用和认可。
Sigasi Visual HDL 面向 (E)CAD 经理列出 7 项优势,核心是把 IDE 级智能引入 VHDL、SystemVerilog 及混合语言设计。
Sigasi 援引 2024 Wilson Research Group 功能验证趋势报告指出,2024 年仅 14% 的 IC/ASIC 项目实现首次流片成功,为近 20 年最低;FPGA 项目仅 13% 无重大缺陷逃逸。

YosysHQ 发布 Tabby CAD Suite 20251203 版本,本次更新继续聚焦底层执行时间与可维护性改进,没有大的用户可见变化。同期 Matt 为 DVWorld 做了题为“Formal Verification Adoption Made Easy”的演讲。
Sigasi 上线其 2026 年首场网络研讨会点播,演示如何用 Sigasi Visual HDL 的 shift-left 方法在验证阶段节省时间与成本,面向 SystemVerilog 与 VHDL 的设计和验证工程师。

NVIDIA Nemotron Labs 博客展示 CrowdStrike、PayPal 和 Synopsys 基于 NVIDIA Nemotron 开放基础模型结合自有数据构建专用 AI 智能体的三种实践。
苏州培风图南半导体发布工艺与器件仿真套件 Mozz 2025.10 版本,新增三维工艺形貌仿真工具 Mozz ProcEmu、Mozz ProcFlow、Mozz Analytics 和基于有限差分法的三维 RC 参数提取工具 Mozz RCExFD。

芯行纪在ICCAD-Expo 2025展出AI驱动的全自研数字实现EDA工具,包括中国首款全自研数字布局布线工具AmazeSys、智能布局规划工具AmazeFP及机器学习优化工具AmazeME-FP、AmazeME-Place。公司资深工程总监陈小利在演讲中称,AI在布局布线、时序优化、DRC收敛等环节作用突显,相关工具已在RISC-V core、复杂接口模块、GPU硬件加速项目中实践。

NVIDIA 在 SC25 上展示了 BlueField-4 DPU、Quantum-X Photonics InfiniBand CPO 交换机及 AI 物理开放模型家族 Apollo,BlueField-4 结合 64 核 Grace CPU 与 ConnectX-9 网络。
NVIDIA 在 SC25 大会上发布开放模型家族 Apollo,面向工业与计算工程仿真,覆盖电子器件与半导体、结构力学、天气气候、计算流体力学、电磁和多物理场等领域。
推荐理由:NVIDIA 发布面向科学仿真的开放模型家族 Apollo,其中半导体方向覆盖缺陷检测与计算光刻,并列出多家 EDA 与设备厂商的接入意向。