IC Manage GDP-AI 以生成式与智能体 AI 改造 IP 生命周期管理
IC Manage 宣布为 GDP-AI 设计与 IP 管理系统新增生成式与智能体 AI 能力，用 AI 驱动的 IP 打包、IP 支持和 IP 发现流程替代人工，加速系统与半导体公司的 IP 复用。
NEWS / 动态
资讯 · 全部
按时间浏览，使用右上角筛选切换领域。
IC Manage 官方动态AI 评分4242
ChipAgents 官方新闻室AI 评分2222 
ChipAgents 入选 CB Insights 2026 AI 100 全球最具创新力 AI 初创公司榜单
ChipAgents 宣布入选 CB Insights 第十届 AI 100 榜单，该榜单由 CB Insights 研究团队从全球逾 1.7 万家公司中评选出 100 家最具潜力的 AI 公司。
思尔芯AI 评分5252 
思尔芯在DVCon China公开芯神瞳S8-100Q原型验证系统与芯神鼎OD仿真系统
思尔芯在2026 DVCon China上首次公开芯神瞳S8-100Q原型验证系统，搭载4核AMD VP1902 FPGA，单系统容量最高4亿门ASIC设计，并在现场演示支持硬件仿真与原型验证双模式的芯神鼎OD。
EDNAI 评分5252 
下一波 EDA：DATE 2026 的观察与启示
EDA 行业资深人士 Simon Davidmann 复盘 4 月在意大利维罗纳举行的 DATE 2026，认为 AI 已不再是与芯片设计并列的独立话题，而是同时作为工作负载、设计工具、验证挑战与安全风险出现。
YosysHQ Yosys 综合发行AI 评分4242 Yosys 0.65 发布
Yosys 0.65 发布，新增 arith_tree pass，可将加/减/macc 链转换为进位保存加法器树。该版本移除了 share pass 的 -force 选项，read_verilog 现支持非打包数组的位置赋值模式。
FOSSi FoundationAI 评分3838 
FOSSi Foundation《El Correo Libre》第97期：Latch-Up 2026回顾与Aegis开源FPGA
FOSSi Foundation发布《El Correo Libre》第97期，回顾Latch-Up 2026会议：共138人注册，议题覆盖SoC、EDA工具、FPGA、RISC-V、模拟混合信号、代工服务、AI与HDL，最佳演讲为Alex Singer关于开源FPGA的报告。
YosysHQ 官方动态AI 评分2222 
Tabby CAD Suite 20260512 版本发布
YosysHQ 发布 Tabby CAD Suite 20260512 版本，现已开放下载，该版本包含底层性能改进与缺陷修复。同期 YosysHQ 就面向断言的新中间表示 Property IR 公开征求意见，RFC 文档已发布。
FOSSi FuseSoC构建管理发行AI 评分2020 FuseSoC 2.4.6 发布
FuseSoC 2.4.6 发布，新增从环境变量加载配置文件、扩展 autotype 过滤器、修复 CAPI2 JSON schema，并改进对解析错误依赖的处理。该版本确保 CLI 选项在运行过滤器前完成求值，使库位置相对于配置文件，支持 flag 中的整数、加载时校验 VLNV 名称，以及支持多个同名脚本。
FOSSi FoundationAI 评分1818 Latch-Up 2026 回顾：首次落地加拿大，138 人注册
Latch-Up 2026 首次在加拿大举办，地点为滑铁卢大学，共 138 人注册，加拿大参会者占六成以上。会议设 SoC、EDA 工具、FPGA、RISC-V、模拟与混合信号、代工与服务、人工智能及 HDL 等分组，Verilator、AntMicro、IHP、OpenROAD 等做了进展分享，Alex Singer 关于开源 FPGA 的报告获评最佳演讲。
中国科学院计算技术研究所精选AI 评分7676 
计算所等联合在 ICLR 2026 发表 CircuitNet 3.0 开源数据集
计算所李华伟-穆嘉楠课题组联合香港中文大学、北京大学在 ICLR 2026 发表论文，提出面向 AI 驱动芯片设计的开源数据集 CircuitNet 3.0。该数据集以 8,659 个通过综合与仿真验证的开源 RTL 设计为基础，经工业级 EDA 流程生成超过 15,000 个设计实例，覆盖 RTL、门级网表到物理布局阶段，每个样本含 RTL 代码与文本描述、结构化图表示和版图图像，并配套经 EDA 流程验证的时序与功耗指标。
推荐理由：论文给出 CircuitNet 3.0 的构建流程与跨阶段多模态数据，可用于比较 AI for EDA 时序与功耗预测的数据条件。
ChipNexus 官方动态AI 评分1818 ChipNexus NEX v5.25 发布：自动化日常工作
ChipNexus 发布 NEX v5.25，首次推出 Office Word 任务智能体，打通 NEX 与 Word 文档工作流，并改善该集成的打包与跨平台一致性。新版本增加会话导出与清理命令、/report-bug 命令及智能体感知的 /help 指引，同时改进企业离线许可的按需节点锁定与可选节点锁定绕过。此外修复了影响 Office Word MCP 的打包问题并改进子进程环境处理。
培风图南AI 评分2525 
ISEDA 2026 | 培风图南亮相新加坡，展示2nm TCAD与DTCO方案
培风图南在ISEDA 2026发表技术报告，提出面向2nm及以下节点的现代化TCAD路线图，通过GPU加速计算架构与可处理多尺度、多物理场耦合的新型求解器提升仿真效率。公司还展示了将先进仿真工具整合进新一代协同优化DTCO体系、构建可扩展AI仿真预测平台的方案。新加坡国立大学Yee-Chia Yeo教授到访展台并为公司2nm TCAD及DTCO领域创新背书。
IEEE TCAD精选AI 评分7171 ChiGen：面向 EDA 工具测试的自底向上 Verilog 设计生成方法
研究提出一种生成真实感 Verilog 设计的方法及配套工具 ChiGen，用于缓解 HDL 基准设计稀缺的问题。ChiGen 最初为测试 Cadence 的 Jasper 形式验证平台而开发，现已开源，并在 Verible、Verilator、Yosys 等工具中发现零日缺陷。其设计原理包括概率文法引导生成、基于 Hindley–Milner 算法的类型推断，以及由数据流分析支持的代码注入。在标准硬件上部署后，ChiGen 在结构多样性、代码覆盖率和缺陷发现能力上优于 Verismith、TransFuzz、VlogHammer 等现有 Verilog Fuzzer。
推荐理由：论文介绍开源 Verilog 生成工具 ChiGen 的设计原理，并说明其在结构多样性、代码覆盖率和找 bug 能力上的对比结果。
Aniah 电气验证与AI技术文章 官方动态AI 评分2222 为什么模拟设计的 AI 需要超越网表的上下文：Aniah 的白皮书解析
Aniah 发布白皮书，阐述模拟与混合信号验证中 AI 不能只依赖原始网表，因为网表只描述连接关系，不包含设计意图、电源域、工作模式和系统约束。其方法基于确定性语义重建、根因聚类和 System Conditional Analysis（SysCon），将原始电路数据转化为经过验证、具备因果依据的模型。
Sigasi RTL技术文章 官方动态AI 评分2222 如何在 Verilog 中编写复位逻辑
Sigasi 技术文章讲解同步数字电路中 Verilog/SystemVerilog 复位的写法，对比同步复位与异步复位的优缺点，并给出异步复位、同步复位及覆盖式同步复位的标准代码模板。文章强调同一进程内要么复位全部信号、要么全部不复位，否则综合可能引入锁存器、时钟使能或额外逻辑；Sigasi Visual HDL 可为时钟化 always 与 always_ff 进程生成代码模板。
DAC 设计自动化大会AI 评分2222 2026 年 DAC（Chips to Systems Conference）首次移师长滩，AI 重塑芯片与系统设计带动规模创纪录
第 63 届 DAC（Chips to Systems Conference）将于 7 月 26–29 日首次在加州长滩会议中心举办，设 550 余场技术会议、120 多家参展公司，其中 15 家为首次参展的 AI 设计公司。
IC Manage 官方动态AI 评分4242 IC Manage 增强 GDP-AI：面向 Cadence Virtuoso 定制 IC 设计
IC Manage 宣布对面向 Cadence Virtuoso 定制 IC 设计的 GDP-AI 设计及 IP 管理系统进行重大增强，覆盖高级暂存、快速定制、AI 驱动工作流自动化和图形化设计差异比对。
Sigasi 官方动态AI 评分2222 Sigasi Visual HDL：在 AI 生成 RTL 前筑起确定性防线
Sigasi 发文提出用 Sigasi Visual HDL 在 VS Code 中对 AI 生成的 RTL 做确定性校验，主张允许 AI 生成草稿但须通过这道“防线”才能合入。该工具在输入时执行语法与语义检查并提供 Quick Fix，规则库覆盖 VHDL 与 SystemVerilog/UVM，可约束团队规范与跨语言集成。企业版还提供 Sigasi CLI，用于把检查接入终端与 CI 流程。
Sigasi 官方动态AI 评分2222 Sigasi Visual HDL 推出六集短视频系列，演示 HDL 开发效率功能
Sigasi 推出六集短视频系列，演示 Sigasi Visual HDL 如何帮助 FPGA 和 ASIC 工程师提升效率。视频涵盖 VS Code 中语言服务器的快速导航、100 毫秒内反馈的实时 linting 与快速修复、自动生成框图与状态机等交互式图形视图、智能编辑器加速 RTL 编写、从源码注释提取的即时文档，以及 UVM linting 与拓扑视图调试。
Qucs-S电路仿真发行AI 评分2020 Qucs-S 26.1.1 发布
Qucs-S 发布 26.1.1 版本，修复了 Xyce 无仿真网表生成时的段错误、符号文件另存时自动补 .sym 后缀、SpiceLibComp 引脚解析与对话框输入校验，并处理了端口终止的空情况。
Sigasi 官方动态AI 评分1818 Sigasi 网络研讨会：如何在芯片设计中安全集成 AI 生成代码
Sigasi 举办网络研讨会，介绍其 Visual HDL 如何将 AI 生成代码与确定性验证结合，以安全集成到芯片设计流程中。该研讨会于 3 月 24 日直播，面向希望借助 AI 提速但不愿承担相关风险的工程师。Sigasi 强调获胜的工作流不是单靠 AI，而是 AI 加确定性验证。
Verilator／VeripoolAI 评分4242 Verilator 5.048 发布
Verilator 5.048 于 2026-04-26 发布，具体变更收录于发行版 Changes 文件并在页面中汇总。该版本延续 5.x 系列对 SystemVerilog 覆盖组、约束、DPI 与 VPI 等能力的支持与优化，并列出各变更的建议者与实现者。
ChipNexus 官方动态AI 评分1010 ChipNexus 发布 NEX v5.21：改进控制流与终端交互
ChipNexus 发布 NEX v5.21，重点改进终端日常使用体验：多行输入与键盘处理更顺畅，运行中操作的中断控制更可靠。该版本新增会话白名单等安全保护与可配置提示词大小上限，工具执行被拒时可请求补充上下文而非直接失败，并修复了数值版本比较问题。
NVC VHDL编译器发行AI 评分1818 NVC VHDL 编译器 1.20.1 发布，修复 1.20.0 中的崩溃与覆盖率报告回归
NVC VHDL 编译器发布 1.20.1 小版本错误修复更新，解决 1.20.0 中发现的多个问题。该版本修复了常量参数匹配关系运算符求值时的崩溃（#1495），并修复了覆盖率报告生成中的若干回归（#1490、#1494），另解决多个次要缺陷（#1498、#1505、#1512、#1496）。
DATE 设计自动化与测试大会AI 评分2222 
DATE 2026 奖项揭晓：EDAA 成就奖授予 Krishnendu Chakrabarty
DATE 2026 公布多项奖项：EDAA 成就奖授予美国亚利桑那州立大学 Krishnendu Chakrabarty，表彰其对 EDA 及社区的杰出贡献。Aida Todri-Sanial 因担任 DATE 2025 大会主席获 IEEE CEDA 杰出服务认可奖及 DATE Fellow，David Atienza 获 IEEE CEDA 杰出服务奖。
FOSSi Edalize EDA工具接口发行AI 评分2222 Edalize 0.6.7 发布
Edalize 0.6.7 发布，修复 xcelium 的 cocotb 支持，ghdl 新增 cocotb 支持并正确处理多个库，vcs 修复导致无条件重建的拼写错误并将参数限定到顶层，vivado 修复未运行 pnr 时的 bug，sim 仅在启用 cocotb 时运行 cocotb-config。
EE TimesAI 评分5858 
西门子 EDA 推出 Fuse EDA AI 系统与 Fuse EDA AI Agent
西门子 EDA 推出 Fuse EDA AI System 与 Fuse EDA AI Agent，称其通过上下文感知的自然语言界面编排从概念到制造签核的多工具流程。
IEEE TCAD精选AI 评分7171 TopoSizing：面向 AMS 电路的 LLM 辅助拓扑理解与尺寸设计框架
研究提出 TopoSizing 端到端框架，直接从原始网表理解模拟与混合信号电路，并把理解结果转化为优化收益。方法先用图算法把电路组织为器件、模块、级的分层表示，再由 LLM 智能体执行假设、验证、修正的迭代循环并做一致性检查，生成显式标注；验证后的洞见通过 LLM 引导的初始采样和停滞触发的信赖域更新接入贝叶斯优化。在 55nm CMOS 工艺的 OTA、FC-OTA、StrongArm 锁存比较器和 LDO 四类真实电路上。
推荐理由：该框架把大模型智能体与贝叶斯优化结合，用于从原始网表理解模拟电路并完成尺寸设计，摘要给出四类电路上的效率与调用次数对比。
IEEE TCAD精选AI 评分6262 DIONet3D：面向3D IC IR drop预测的双输入双输出深度神经网络
论文提出DIONet3D，一种面向3D IC IR drop预测的双输入双输出神经网络，同时接收上下两层裸片的特征图，经U-Net结构共享主干后同时输出两层裸片的IR drop图。为建模3D供电效应，作者引入物理引导的3D增强PDN表示，用高斯核平滑把平面PDN条带转为空间连续特征，并编码垂直混合键合（HB）/硅通孔（TSV）连接以刻画跨裸片供电。方法还采用多损失函数动态加权的复合损失以平衡多任务收敛。实验称其优于现有CNN方法并具较好泛化性，与商用EDA仿真工具相比结构及空间相似度高，CPU推理下运行速度最高提升309倍、内存降低89倍。摘要未给出具体设计规模、工艺与基线细节。
推荐理由：论文给出双输入双输出网络与物理引导的3D PDN表示，可用于比较3D IC IR drop预测的代理模型方案。
Axiomise 官方动态AI 评分2222 
Axiomise 谈形式验证的 11 个问题：亿门级设计与方法论
Axiomise 创始人 Ashish Darbari 在 DVCon USA 后整理形式验证的 11 个常见问题，称团队近期对含 3.38 亿触发器、11 亿门的深度时序设计一次性整体编译，未做 cut-point 或 boxing，借助 Axiomise proof accelerators 在数秒内发现缺陷。
Axiomise 官方动态AI 评分3838 
Axiomise 详解 ADEPT FV 形式验证流程：从设计到流片
Axiomise 提出 ADEPT FV 形式验证流程，以 Avoid、Detect、Erase、Prove 四阶段贯穿设计全程，目标是尽早发现缺陷、证明正确性并持续构建覆盖率，从而减少流片风险。
Axiomise 官方动态AI 评分3838 
Axiomise 基于智能追踪器抽象的串行数据包设计穷尽形式验证案例
Axiomise 的 Ashish Darbari 以案例形式展示了如何用形式验证穷尽验证串行数据包设计。这类设计因每个数据包状态依赖此前所有在途数据包的历史而难以验证，作者采用智能追踪器（smart tracker）抽象，结合不变量作为辅助属性与 assume-guarantee 流程，在保证不遗漏合法行为缺陷的同时改善证明收敛。
Axiomise 官方动态AI 评分2020 
Axiomise CEO 谈形式验证为何仍是小众：培训、方法论、流程与项目连续性四大缺口
Axiomise 创始人兼 CEO Ashish Darbari 撰文分析形式验证虽在业界屡获成功却仍未被每位设计与验证工程师日常使用，原因集中在缺乏良好培训、缺乏覆盖从轻量 app 到端到端深度形式验证的完整方法论、流程常因人言而非基于指标的经验分析摇摆，以及项目内缺乏连续性应用。
Axiomise 官方动态AI 评分3838 
Axiomise 总结成功部署形式验证的十条规则
Axiomise 的 Ashish Darbari 基于在 OneSpin Solutions 的 EDA 从业经历与 DVCon USA 讨论，提出成功部署形式验证的十条规则，强调形式验证成功靠方法论与纪律而非博士学位。
Axiomise 官方动态AI 评分2222 
Axiomise 谈“硅验证通过”为何不足以保障处理器安全
Axiomise 的 Ashish Darbari 撰文指出，Meltdown 与 Spectre 暴露的安全漏洞说明安全不只是软件问题，而是系统问题，需在设计前端就纳入架构考量。他认为动态仿真难以扩展、单纯仿真也不够，应引入形式化验证等手段；文中以他协助验证一款可定制 CPU 的经历为例，形式化测试平台发现了非特权访问特权内存区域等漏洞，部分源于设计疏漏或实现与规格不符。
Axiomise 官方动态AI 评分1515 
Axiomise 创始人 Ashish Darbari 讲述进入形式验证领域的历程
Axiomise 的 Ashish Darbari 讲述自己从印度工程师家庭出身、在 Birla Institute of Technology 学习电气电子工程，到在 TU Dresden 攻读计算逻辑硕士，最终选择形式验证方向博士offer的历程。他曾在 Intel、ARM、Imagination 和 OneSpin 任职，文章以其个人经历映照形式验证领域的发展。
CHIPS Alliance Chisel 发行AI 评分2222 Chisel v7.11.0 发布
Chisel v7.11.0 发布，core 新增 Wire 关联支持与运行时定义选项组的 DynamicGroup，并加入 LTL past 算子；svsim 支持可配置的 expect 失败值格式化。
IEEE TCADAI 评分4848 面向VLSI面积最小化的层约束瓶颈通道布线算法
针对层约束瓶颈通道布线（BCR）问题，提出首个基于曼哈顿布线模型线段重分配的布线算法，含层约束全局布线与层约束详细布线两阶段。在10个测试瓶颈通道上，相比Taniguchi两层算法与SCR组合，平均仅用54.7%的CPU时间，并进一步减少2.6%布线面积和1.7%过孔数；相比三层算法与SCR组合，平均仅用19.3%的CPU时间。
FOSSi Foundation精选AI 评分6060 
开源 EDA 通讯 El Correo Libre 第 96 期：LibreLane 3.0 发布
FOSSi Foundation 的 El Correo Libre 第 96 期汇总多项开源硬件与 EDA 进展，其中 LibreLane 发布 3.0 版本。
推荐理由：汇总开源 EDA 多项进展，LibreLane 3.0 的流程变化与新增 DFT 插件可供关注开源实现流程的人参考。
NVC VHDL编译器发行AI 评分4747 NVC VHDL 编译器 1.20.0 发布，大幅改进 Verilog 与混合语言支持
NVC VHDL 编译器发布 1.20.0，大幅改进 Verilog 与混合语言支持。新增 vhpi_ext_nvc.h 头文件定义专有 VHPI 扩展，并加入 vhpiRandomSeedP 属性返回仿真随机种子；混合语言仿真中的 Verilog 模块现以 vhpiVerilogModuleK 类出现在 VHPI 中，Verilog 预处理器支持带参数宏。