Axiomise 基于智能追踪器抽象的串行数据包设计穷尽形式验证案例
Axiomise 的 Ashish Darbari 以案例形式展示了如何用形式验证穷尽验证串行数据包设计。这类设计因每个数据包状态依赖此前所有在途数据包的历史而难以验证，作者采用智能追踪器（smart tracker）抽象，结合不变量作为辅助属性与 assume-guarantee 流程，在保证不遗漏合法行为缺陷的同时改善证明收敛。
NEWS / 动态
#Synopsys
按时间浏览，使用右上角筛选切换领域。
Axiomise 官方动态AI 评分3838
UCIe ConsortiumAI 评分5555 
Chiplet Summit 2026：UCIe 3.0 获互操作奖项，Intel 与 Cadence 演示跨厂商互操作
UCIe Consortium 在 Chiplet Summit 2026 上宣布，UCIe 3.0 规范获得大会连接与互操作性最佳展示奖，该规范将数据率提升至 48 GT/s 和 64 GT/s，并增强功耗优化与可管理性。
NVIDIA 官方动态AI 评分2222 NVIDIA 携手 Cadence、Siemens、Synopsys 与印度最大制造商推进 AI 工业化
NVIDIA 与 Cadence、Siemens、Synopsys 等工业软件厂商合作，支持印度最大制造商用 CUDA-X 和 Omniverse 加速的软件推进 AI 工业化。
UCIe ConsortiumAI 评分2222 
UCIe 联盟在 Chiplet Summit 2026 上推广开放 Chiplet 生态
UCIe 联盟将参加 2 月 17-19 日在圣克拉拉会议中心举办的 Chiplet Summit，并扩大参与规模，赞助多场活动。联盟主席 Debendra Das Sharma 将发表主题演讲，介绍 UCIe 3.0 规范及裸片间互连标准的采用收益；Intel 与 Cadence 成员将分享互操作性案例。
Tom’s HardwareAI 评分5858 
格芯达成协议收购新思ARC与RISC-V处理器IP业务
格芯本周宣布已达成最终协议，收购新思的处理器IP解决方案业务，获得ARC-V（RISC-V）、经典ARC CPU核、DSP、NPU IP以及ARC MetaWare开发工具包和ASIP Designer、ASIP Programmer工具链。
CHIPS AllianceAI 评分3333 CHIPS Alliance 2025 回顾：开源芯片的突破之年与未来路线
CHIPS Alliance 回顾 2025 年进展：Caliptra 2.1 RTL 发布并推进后量子就绪，Caliptra 补充基金支持联合投资，OpenPRoT 安全固件项目宣布启动。
SiliconANGLEAI 评分5858 
Synopsys 公布 2025 财年业绩，全年营收 71 亿美元创新高
Synopsys 公布 2025 财年第四季度及全年业绩，全年营收 71 亿美元、同比增长约 15%，第四季度营收 2.26 亿美元同比增长 37%，均超出分析师预期。
Tom’s HardwareAI 评分7575 
英伟达20亿美元入股新思，双方合作加速GPU上的EDA工作负载
英伟达以20亿美元入股新思，双方于12月1日宣布长期合作，将共同开发把计算密集的EDA任务从CPU迁移到英伟达GPU的工具。合作声明为非排他，新思将继续与其他硬件厂商合作，并称投资不附带购买英伟达硬件的义务。
SiliconANGLEAI 评分7575 
英伟达20亿美元入股新思，并展开多年AI合作
英伟达以每股414.79美元购入新思20亿美元股份，作为双方宣布的多年合作的一部分，交易结构与此前对英特尔的50亿美元投资类似。
UCIe ConsortiumAI 评分3838 
UCIe 联盟研讨会：Chiplet 生态协作与 UCIe 3.0 采用进展
UCIe 联盟举办研讨会，Alphawave Semi、Siemens EDA、Synopsys、Cadence 与 Ayar Labs 等成员公司探讨 UCIe 如何加速 chiplet 设计。
NVIDIA 官方动态AI 评分3838 
NVIDIA Nemotron Labs：专用 AI 智能体重塑业务的三种方式
NVIDIA Nemotron Labs 博客展示 CrowdStrike、PayPal 和 Synopsys 基于 NVIDIA Nemotron 开放基础模型结合自有数据构建专用 AI 智能体的三种实践。
NVIDIA 官方动态AI 评分2222 
NVIDIA 在 SC25 展示 BlueField-4 DPU、Quantum-X 光子交换机与 Apollo 物理 AI 开放模型
NVIDIA 在 SC25 上展示了 BlueField-4 DPU、Quantum-X Photonics InfiniBand CPO 交换机及 AI 物理开放模型家族 Apollo，BlueField-4 结合 64 核 Grace CPU 与 ConnectX-9 网络。
NVIDIA 官方动态精选AI 评分6262 NVIDIA 发布开放模型家族 Apollo，面向半导体与工程仿真
NVIDIA 在 SC25 大会上发布开放模型家族 Apollo，面向工业与计算工程仿真，覆盖电子器件与半导体、结构力学、天气气候、计算流体力学、电磁和多物理场等领域。
推荐理由：NVIDIA 发布面向科学仿真的开放模型家族 Apollo，其中半导体方向覆盖缺陷检测与计算光刻，并列出多家 EDA 与设备厂商的接入意向。