华大九天拟以不超过2.2亿元收购奇捷科技51%股权
华大九天公告拟出资不超过2.2亿元收购参股公司奇捷科技不超过51%的股权,交易完成后奇捷科技将成为其控股子公司并纳入合并报表。拟签协议约定受让50.3762%股权,转让对价21,883.42万元,分期支付,股权转让协议截至公告日尚未签署。
华大九天公告精选报道
华大九天公告拟出资不超过2.2亿元收购参股公司奇捷科技不超过51%的股权,交易完成后奇捷科技将成为其控股子公司并纳入合并报表。拟签协议约定受让50.3762%股权,转让对价21,883.42万元,分期支付,股权转让协议截至公告日尚未签署。
华大九天公告精选报道
arXiv 原始研究精选报道
ChipAgents 官方技术博客精选报道
MOST DISCUSSED / TOP 10
过去 48 小时 · 按讨论热度排序
—

合见工软与北京开源芯片研究院在第六届RISC-V中国峰会上展示软硬双线的香山验证方法论:软件侧UVS+、UVD+适配香山平台并与UCAgent智能验证平台打通仿真与智能验证双通道,硬件侧香山·八达岭可扩展智算IP在PD-AS原型验证平台上跑通并现场实机演示。合见工软称联合测试中UVS+针对香山昆明湖架构的单核仿真性能较国际主流竞品提升高达2倍,并获颁香山企业贡献者奖项。
推荐理由:合见工软与开芯院在RISC-V峰会同台展示仿真调试适配、智能验证对接与原型验证跑通三条合作线,可观察国产工具链在香山生态中的接入方式。
Accellera 董事会批准功能安全语言标准 FSL 1.0 发布,该标准为功能安全信息的表示、交换和集成提供统一语言与数据模型,可立即下载。FSL 1.0 基于 TCL 语法,支持跨供应链创建和交换 FMEDA 数据,涵盖失效模式、安全机制、技术信息与安全需求,并支持分层 FMEDA 及 ISO 26262、IEC 61508 相关失效率与指标的计算报告。
推荐理由:FSL 1.0 把功能安全数据从表格和私有格式中抽出来,可用于观察安全分析与设计验证流程的衔接方式。

合见工软与北京开源芯片研究院宣布,其自研数字仿真器UVS+已完成香山高性能开源RISC-V处理器的全功能适配,在支持调试、覆盖率收集等全功能基础上,单核仿真性能相较国际领先产品提升高达2倍。
推荐理由:合见工软公布UVS+与香山处理器的适配范围与联合测试性能数据,可用于了解国产仿真器在RISC-V验证中的接入方式。
Verilator 5.052 于 2026-09-05 发布,宣布支持 UVM 2020-3.2,限制见 issue #1538。
推荐理由:Verilator 5.052 宣布支持 UVM 2020-3.2 并列出限制,可用于评估开源仿真器承接 UVM 验证环境的条件。
CHIPS Alliance 成员 Antmicro 在开源 RTL 仿真器 Verilator 中完成四态逻辑的初步实现,首个 PR 已作为后续开发起点,完整支持仍需跨多个 PR 和数月推进。
推荐理由:原文说明了四态逻辑在 Verilator 中以两个二态变量拆分实现,并给出实验性开关与示例,便于理解接入条件。
Sigasi Visual HDL 2026.2 发布,新增 Modular Projects 项目格式、Sigasi MCP 服务器和重写的 AI-ready CLI,并改进状态机条件可视化与依赖分析。
推荐理由:Sigasi 2026.2 把模块化项目、MCP 服务器与重写 CLI 一并落地,可用于比较 AI 辅助 HDL 开发的接入方式。
Verilator 5.050 于 2026-07-01 发布,重要更新是支持 covergroup、coverpoint 和 bins。该版本还引入新的 FST writer API,使用 FST 可能需要安装 liblz4 和/或 liblz4-dev 包。
推荐理由:Verilator 5.050 新增 covergroup、coverpoint 与 bins 支持,可用于了解开源仿真器在功能覆盖率上的能力边界。
CHIPS Alliance 成员 Antmicro 介绍了在 VeeR EL2 32 位 RISC-V 核中实现双核锁步(DCLS)的方法,该功能为可选、默认关闭,启用后会实例化一个延迟可配置的 Shadow Core 并与主核比对输出。
推荐理由:CHIPS Alliance 成员 Antmicro 说明 VeeR EL2 双核锁步的可选配置、寄存器监控与 cocotb/PyUVM 验证流程,可供安全关键设计参考。
研究提出一种生成真实感 Verilog 设计的方法及配套工具 ChiGen,用于缓解 HDL 基准设计稀缺的问题。ChiGen 最初为测试 Cadence 的 Jasper 形式验证平台而开发,现已开源,并在 Verible、Verilator、Yosys 等工具中发现零日缺陷。其设计原理包括概率文法引导生成、基于 Hindley–Milner 算法的类型推断,以及由数据流分析支持的代码注入。在标准硬件上部署后,ChiGen 在结构多样性、代码覆盖率和缺陷发现能力上优于 Verismith、TransFuzz、VlogHammer 等现有 Verilog Fuzzer。
推荐理由:论文介绍开源 Verilog 生成工具 ChiGen 的设计原理,并说明其在结构多样性、代码覆盖率和找 bug 能力上的对比结果。
OSVVM 2026.01 发布,新增基于协同仿真的 PCIe 验证组件,由 Simon Southwell 实现,验证组件改在软件侧实现,OSVVM 测试序列器通过 MIT 事务接口与之交互。
推荐理由:OSVVM 2026.01 新增 PCIe 协同仿真验证组件,并说明 VHDL-2019 接口与构建错误处理的变化,可用于评估现有验证环境的升级成本。
Accellera 发布《Standard for IP Abstraction for Clock and Reset Domain Crossing Integration》LRM 1.0,多家厂商发表声明祝贺。
推荐理由:多家 EDA 与芯片厂商就 CDC/RDC 标准 1.0 表态,可看出该标准在 IP 抽象与跨工具验证上的协作范围。
Accellera 董事会批准《IP 抽象时钟与复位域交叉集成标准 1.0》并开放下载,该标准定义厂商中立的 CDC/RDC 意图描述方式,使 IP 提供方与 SoC 集成方能在不同 EDA 工具间交换分析结果并完成签核。
推荐理由:该标准针对不同工具间 CDC/RDC 分析结果无法复用的问题,定义了厂商中立的意图交换方式,可用于评估 IP 到 SoC 集成流程的接入条件。

Real Intent 宣布推出 Conquest MAI,称其为业界首款微架构完整性签核工具,可在 RTL 设计过程中跨层级自动识别 FSM、FIFO、计数器、移位器和存储器等标准功能组件(SFC)并做局部完整性检查。
推荐理由:厂商自述的微架构完整性签核工具,用抽象检查替代布尔求解,可对照其速度与覆盖范围说法。
CHIPS Alliance 宣布开源 RTL 仿真器 Verilator 现在可以展开上游 UVM 2017-1.0,无需任何补丁或变通方案。这一进展由 Antmicro 在 CHIPS Alliance 内主导,Verilator 维护者 Wilson Snyder 及开源社区参与补充。
推荐理由:开源仿真器 Verilator 无需补丁即可展开上游 UVM 2017-1.0,文中给出复现步骤与后续路线。
基于 Python 的芯片验证框架 cocotb 发布 2.0,2.0.0 于 9 月在 ORConf 现场发布,本周推出 2.0.1。官方称该版本聚焦开发者体验,部分行为调整涉及编程接口,部分测试平台需按迁移指南从 1.x 升级,许多测试平台可不经修改直接运行。
推荐理由:官方说明 cocotb 2.0 聚焦开发者体验并调整编程接口,部分测试平台需按迁移指南更新。