AI 与技术方向
仿真、形式验证及芯片设计调试。
28 条精选近 30 天 6 条共收录 184 条
ChipAgents 发布首个面向芯片设计的智能体大模型 Renoir，基于开源权重 MoE 大模型微调，可在气隙本地环境部署。官方称在覆盖 RTL 生成、缺陷定位与规格到代码实现的内部芯片设计基准上，Renoir 超过其基座模型、接近 Claude Opus 4.6，成本降低一半以上。团队表示该模型在数据、时间和算力受限预算下训练，属于一次试水，后续将扩大数据集和训练规模。
推荐理由：ChipAgents 公布 Renoir 的微调来源、内部基准覆盖任务与成本对比，可了解其自评口径与本地部署条件。
研究提出一种生成真实感 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 聚焦开发者体验并调整编程接口，部分测试平台需按迁移指南更新。