跳到正文
EDA前沿EDA FRONTIER

NEWS / 动态

资讯 · 全部

按时间浏览,使用右上角筛选切换领域。

7月7日周二
7月4日周六
7月3日周五
7月1日周三
  1. Verilator/Veripool62

    Verilator 5.050 发布,新增 covergroup、coverpoint 与 bins 支持

    Verilator 5.050 于 2026-07-01 发布,重要更新是支持 covergroup、coverpoint 和 bins。该版本还引入新的 FST writer API,使用 FST 可能需要安装 liblz4 和/或 liblz4-dev 包。

    推荐理由:Verilator 5.050 新增 covergroup、coverpoint 与 bins 支持,可用于了解开源仿真器在功能覆盖率上的能力边界。

  2. Real Intent 官方动态58

    Real Intent 为 Meridian CDC 增加微架构分析,称违例复核负担降低 95%

    Real Intent 宣布为 Meridian CDC 静态签核工具增加微架构分析(MA),称可从 RTL 推断功能意图,识别 FIFO、FSM、计数器、RAM、移位器、寄存器堆和脉冲同步器等结构分析难以完全识别的功能组件。公司称该功能使违例报告精度最高达 98%,设计人员复核负担最多降低 95%。原文将上述数字归于厂商自述,未给出具体设计规模、工艺或独立评测条件。

6月30日周二
  1. Axiomise 官方动态53
    Axiomise 官方动态的报道配图

    Axiomise 用 floatrix 形式验证发现 BF16 除法器隐藏下溢

    Axiomise 工程师用 floatrix 在 fpnew FPU 的 BF16 除法器中发现一处下溢漏报:该单元内部以 FP32 计算,对极小结果判定为无下溢、无 inexact,但舍入到 BF16 后该值变为极小且 inexact,按 RISC-V BF16 规则应报下溢,由于标志逻辑绑定 FP32 而非 BF16,设计静默漏掉该异常。

  2. Chipmind 官方动态22
    Chipmind 官方动态的报道配图

    Chipmind 参与 CHIPS-JU ODE4EC 项目启动会,聚焦开源 EDA 与 AI 芯片设计

    Chipmind 宣布参与 CHIPS-JU 旗下 ODE4EC 项目并出席在米兰举行的启动会,该项目聚焦面向欧洲芯片的开源设计环境。Chipmind 在 ODE4EC-PIV 分支中贡献基于其专有 Agent Harnesses 的芯片设计学习循环,用于自主执行工作流、从错误中学习并迭代至设计正确。

6月29日周一
  1. CHIPS Alliance18

    CHIPS Alliance 开发者聚焦:AMI 首席安全架构师 Stefano Righi

    CHIPS Alliance 开发者聚焦栏目介绍 AMI 首席安全架构师 Stefano Righi,他自1985年以固件开发者起步,近十年专注平台安全方案。Righi 最看重已毕业的 Caliptra 项目,该项目提供规范、硅逻辑、ROM 与固件,用于在数据中心级 SoC 中实现 Root of Trust for Measurement 模块,支持设备身份、度量启动与证明。

  2. CHIPS Alliance60
    CHIPS Alliance的报道配图

    CHIPS Alliance 介绍 VeeR EL2 RISC-V 核双核锁步实现

    CHIPS Alliance 成员 Antmicro 介绍了在 VeeR EL2 32 位 RISC-V 核中实现双核锁步(DCLS)的方法,该功能为可选、默认关闭,启用后会实例化一个延迟可配置的 Shadow Core 并与主核比对输出。

    推荐理由:CHIPS Alliance 成员 Antmicro 说明 VeeR EL2 双核锁步的可选配置、寄存器监控与 cocotb/PyUVM 验证流程,可供安全关键设计参考。

  3. 概伦电子67

    概伦电子收购锐成芯微及纳能微获证监会注册通过

    概伦电子收购锐成芯微及其控股纳能微于2026年6月29日获中国证监会注册通过。锐成芯微在模拟混合IP、射频IP、嵌入式存储IP三大细分赛道位居国内首位,并通过纳能微拓展高速接口IP,拥有覆盖全球30多家晶圆厂、4nm-180nm工艺的上千套经硅验证物理IP。概伦电子称将借此从EDA工具提供商转向EDA+IP全链路赋能平台,并计划拓展至先进封装和3D-IC。

    推荐理由:概伦电子收购锐成芯微获证监会注册通过,原文交代了标的IP资产规模与EDA+IP整合的三层规划。

6月26日周五
  1. ChipNexus 官方动态58
    ChipNexus 官方动态的报道配图

    ChipNexus 与普渡 SoCET 评测 NEX 的 RTL 设计能力

    ChipNexus 与普渡大学 SoCET 团队合作,用从 32 位 ALU 到双核缓存一致 RV32I 处理器的四级任务评测 NEX 的 RTL 设计能力。最复杂设计含 25–30 个 RTL 文件和约 30 个汇编测试程序,人工估计约 100 小时,使用 NEX 后约 2.5–3.5 小时完成,有经验设计者的活跃设计时间降幅在 2.4 倍到 43 倍之间。

6月25日周四
6月24日周三
  1. Silicon Integration Initiative62

    Si2 发布 CVDP 1.1.0 基准,新增面向 AI 智能体的评测改进

    Si2 发布开源基准 CVDP 1.1.0,针对 AI 智能体改进评测框架。该版本采用 cocotb、Yosys、IVerilog 的稳定版本,cocotb 2.x 有望支持更多开源与商业仿真器,框架内新增使用 Claude Code 运行评测的初始设置,并增加来自 40 多个开源仓库的 100 个数据点,含人工植入缺陷和更大规模问题。

    推荐理由:CVDP 1.1.0 的更新清单可用于比较面向 AI 智能体的 RTL 基准在工具版本与数据规模上的变化。

6月23日周二
  1. 行芯科技18
    行芯科技的报道配图

    行芯科技获浙江省知识产权奖两项二等奖

    行芯科技获评浙江省知识产权发明专利二等奖和计算机软件二等奖,获奖名单由浙江省市场监督管理局在《关于公布省政府质量奖等获奖项目和组织名单的通知》(浙市监质〔2026〕2号)中公布。该奖为浙江省政府设立的最高层级知识产权荣誉,公司称此次"双奖"印证其"技术深耕+知识产权强基"战略及专利、软著、商业秘密协同保护体系的成效。

6月22日周一
  1. Aniah 官方动态38
    Aniah 官方动态的报道配图

    Aniah 的 AI 驱动电气验证平台 OneCheck 获 Elmos 采用

    汽车半导体公司 Elmos 已在各设计团队采用 Aniah 的 AI 驱动电气验证平台 OneCheck,用于提升设计可靠性、加快上市时间并确保汽车 SoC 的电气合规。OneCheck 将穷举式形式分析与自动化结合,在流程早期检出隐藏的电气设计错误。Elmos 产品开发副总裁 Armin Kemna 称其可更早发现复杂电气问题,提升一次流片成功率。

6月21日周日
6月20日周六
  1. NVC VHDL编译器发行15

    NVC VHDL 编译器 1.21.1 发布

    NVC VHDL 编译器发布 1.21.1 小版本错误修复更新,修复了同名重载子程序调用被误报为歧义(#1560)、VHPI 外部子程序读取标量 out 和 inout 参数(#1570)、过程内分配含无约束字段记录时的内存损坏(#1576),以及进程内常量时间表达式使用 'stable 属性时的崩溃(#1537)。

6月18日周四
  1. ChipAgents 官方新闻室22
    ChipAgents 官方新闻室的报道配图

    ChipAgents 获得 SOC 2 Type II 认证,强化半导体设计智能体 AI 安全

    ChipAgents 已获得 SOC 2 Type II 认证,该审计由 Insight Assurance 完成,覆盖安全、可用性、机密性、处理完整性和隐私等信任服务准则。其多智能体平台已部署于 120 多家半导体公司,用于加速芯片设计与验证流程。公司称该认证体现其在数据保护、智能体沙箱和部署策略上的安全投入。

6月17日周三
  1. OSVVM 官方验证方法新闻22

    OSVVM 2026.05 版本 SetAxi4Options/GetAxi4Options 在时间 0 调用非 AXI4 总线参数会崩溃

    OSVVM 2026.05 中,测试用例在时间 0 调用 SetAxi4Options/GetAxi4Options 并传入非 AXI4 总线值参数(如 BRESP)时会崩溃,因新实现直接引用尚未构造的 params 数据结构。解决方法是在进程开头加 WaitForClock(ManagerRec, 0),其行为与旧版一致且不产生等待。该实现简化了向 VC 添加参数,作者计划推广到其他 VC。

  2. ChipAgents 官方技术博客60
    ChipAgents 官方技术博客的报道配图

    ChipAgents 发布首个芯片设计智能体模型 Renoir

    ChipAgents 发布首个面向芯片设计的智能体大模型 Renoir,基于开源权重 MoE 大模型微调,可在气隙本地环境部署。官方称在覆盖 RTL 生成、缺陷定位与规格到代码实现的内部芯片设计基准上,Renoir 超过其基座模型、接近 Claude Opus 4.6,成本降低一半以上。团队表示该模型在数据、时间和算力受限预算下训练,属于一次试水,后续将扩大数据集和训练规模。

    推荐理由:ChipAgents 公布 Renoir 的微调来源、内部基准覆盖任务与成本对比,可了解其自评口径与本地部署条件。

6月15日周一
  1. ACM SIGDA18

    IEEE HOST 2027 征稿启动:硬件安全与信任研讨会

    IEEE HOST 2027 已开放征稿,第20届会议将于2027年5月在华盛顿特区举办。征稿覆盖AI与硬件安全、硬件安全CAD验证、PUF/TRNG等安全原语、攻击与防御、架构与系统安全、Chiplet与先进封装安全等方向,设长文(10页正文加2页参考文献)与短文(5页正文加1页参考文献)两种格式,采用双盲评审,仅长文进入rebuttal流程。

6月13日周六
6月12日周五
6月11日周四
  1. ChipAgents 官方技术博客22
    ChipAgents 官方技术博客的报道配图

    ChipAgents 庆祝成立两周年:多智能体系统服务全球前 80 家半导体公司

    ChipAgents 在成立两周年之际披露,其多智能体系统已服务全球前 80 家半导体公司,自主执行 RTL 设计、验证、调试等复杂工作流。公司称截至 2026 年 10 月已有超过 200 个半导体企业部署、全球用户社区超过 2 万人。ChipAgents 2024 年创立于 UCSB 人工智能实验室,未来将聚焦以数量级提升生产力并保证结果质量。

6月9日周二
6月8日周一