Sigasi Visual HDL:用上游 RTL 质量门禁减少验证与调试负担
Sigasi 提出用 Visual HDL 在编码、复用 IP 和集成 AI 生成代码阶段拦截缺陷,其核心诊断具备确定性和可复现性,可在编辑器与 CI 中一致运行。
NEWS / 动态
按时间浏览,使用右上角筛选切换领域。
Sigasi 提出用 Visual HDL 在编码、复用 IP 和集成 AI 生成代码阶段拦截缺陷,其核心诊断具备确定性和可复现性,可在编辑器与 CI 中一致运行。

Adam Taylor 以 AMD Artix-7(xc7a200t-2)上的 FIR 滤波器为例,将 Blue Pearl Visual Verification Suite(VVS)放入迭代流程,用其 COMB 分析定位直接型累加造成的组合逻辑过深问题。
slang SystemVerilog 编译器发布 v10.0,新增 -Wcase-none、-Wunnamed-generate、-Wvacuous-cover、-Wnested-solve-before 等警告,并加入 --cst-json、--compat all 等选项。

格芯本周宣布已达成最终协议,收购新思的处理器IP解决方案业务,获得ARC-V(RISC-V)、经典ARC CPU核、DSP、NPU IP以及ARC MetaWare开发工具包和ASIP Designer、ASIP Programmer工具链。
CHIPS Alliance 回顾 2025 年进展:Caliptra 2.1 RTL 发布并推进后量子就绪,Caliptra 补充基金支持联合投资,OpenPRoT 安全固件项目宣布启动。

奇捷科技将于1月29日发布集成AI引擎的智能ECO解决方案包EasyAI ECO Suite,首发AUTO PARTITION智能分区、(I-)LEARNING智能学习与SMART CACHING智能缓存三大引擎。三大引擎已与多家行业领先芯片设计公司完成技术交流与测试验证,发布会将介绍技术细节并展示实测数据对比与现场Demo。
Aldec 发布 ALINT-PRO 2025.12,在 Premium 规则库中新增一组混合语言设计规则,针对 VHDL 与 Verilog/SystemVerilog 在同一项目中的模块/实体例化与参数传递。
Yosys 0.61 发布,移除了用于覆盖率跟踪的 "cover" pass,并避免 "opt_merge" pass 合并形式属性,同时将该 pass 并行化。新增 "design_equal" pass 支持模糊测试比较,新增 "lut2bmux" pass 将 $lut 转换为 $bmux,"read_rtlil" pass 增加 "-legalize" 选项以防止语义错误。

Rivos 在 AI LLM 与数据分析数据中心芯片的 RTL 签核流程中采用 Real Intent Meridian RDC 做复位域交叉(RDC)签核,在 IP 与芯片两级运行其层次化流程。初始设置约需数小时,借助已有的 Meridian CDC 设置与自动生成输入文件,完整验证并清理设置约需一周;设计、架构与固件团队共同评审复位场景、违例与约束,最终签核允许部分 waiver。

Tabby CAD Suite 的 1 月版本已开放下载,本次更新修复了 SBY 中的一个缺陷:当设计中有多个属性在精化阶段即可静态判定为真值相同,可能导致属性消失。YosysHQ 同时宣布下一场 Yosys 用户组会议将以问答形式于 2 月 12 日 18:00 CET 举行,议题涵盖形式验证、综合、插件与内部机制、贡献方式及路线图。

FOSSi Foundation 正在筹备两场开源硅生态会议:首届澳大利亚会议 Down Underflow 定于2月28日至3月1日在悉尼举行,Latch-Up 2026 则于5月1日至3日在加拿大滑铁卢大学举办,均为免费注册参加。
Chisel v7.7.0 发布,新增暴露 FIRRTL memory 读写延迟参数的功能。该版本修复了 ChiselStage$ 中 DedupGroup Phase 的使用问题,并针对 Windows 下验证目录路径问题及 firtool 1.138.0 添加了 workaround。
FOSSi Foundation 首届澳洲开源硅会议 Down Underflow 2026 将于 2 月 28 日在悉尼举行,免费参加但需注册。首批演讲涵盖 wafer.space 开源流片、OpenROAD 的 RTL 到 GDS 教学、基于 Slang 的 Verilog 工具、Cocotb 更新及初创公司使用开源硅工具与 IP 的经验。

ChipAgents 宣布已通过 SOC 2 Type II 合规认证,称这是其在企业级安全与运营规范上的重要里程碑。公司表示该认证体现其内部管控与治理能力,可满足对安全要求严格的大型半导体企业;其 Renoir 模型支持气隙、本地部署,客户设计数据隔离且不用于训练其他客户模型。
Verilator 5.054 发布,将 `--coverage-branch` 从 `--coverage-line` 中拆出,此前使用 `--coverage-line` 的用户可能需要补加该选项。

奇捷科技入选德勤中国“2025中国明日之星”榜单,颁奖典礼于12月16日在江苏无锡举行。该榜单评选中国市场内创新能力突出、成长潜力显著、商业表现卓越的企业,奇捷科技称其产品和服务已在众多芯片设计企业得到应用和认可。

形式验证与功能性ECO领域资深专家金峻于2025年12月8日加入奇捷科技,担任应用工程总监,负责客户支持与深度解决方案设计。金峻拥有超过二十年经验,曾在Cadence担任产品工程师及AE架构师,负责LEC、Low Power及ECO等解决方案落地。奇捷科技称其专长将推动ECO产品价值落地与服务升级。

芯行纪凭借AI+EDA创新产品机器学习优化工具AmazeME-FP,在12月20日上海举行的2026半导体投资年会暨IC风云榜颁奖典礼上获“年度优秀创新奖”。该奖由半导体投资联盟超百家会员单位及五百余位行业CEO评出,表彰打破技术垄断、实现关键环节自主化的创新成果。
Chisel v7.6.0 发布,core 为端口 Seq 新增 associate 方法,并为 UnitTests main 增加 runpath 选项。后端代码生成修复了连接右侧视图的名称前缀问题,1-1 视图前缀改为取自视图目标名,涉及 FlatIO 常见场景。此外为更多模块类型添加源定位器,改进 svsim 非法 poke 的错误信息,并将 commons-text 更新至 1.15.0。
CHIPS Alliance 执行董事 Rob Mains 在开发者访谈中回顾从 IBM 到 Oracle 的硅开发全栈经历,提出开源硅应聚焦各方共需的基础组件,让企业把资源投向差异化创新。他以 Caliptra 为例称开源硬件 IP 已能设计、集成进 SoC 并量产部署,生产就绪需靠多次流片与持续使用来证明。他指出 DRC 与形式验证仍需与代工厂深化协作,规模化协作的最大障碍是信任而非技术。
Sigasi Visual HDL 面向 (E)CAD 经理列出 7 项优势,核心是把 IDE 级智能引入 VHDL、SystemVerilog 及混合语言设计。
Sigasi 援引 2024 Wilson Research Group 功能验证趋势报告指出,2024 年仅 14% 的 IC/ASIC 项目实现首次流片成功,为近 20 年最低;FPGA 项目仅 13% 无重大缺陷逃逸。

Synopsys 公布 2025 财年第四季度及全年业绩,全年营收 71 亿美元、同比增长约 15%,第四季度营收 2.26 亿美元同比增长 37%,均超出分析师预期。
Sigasi Visual HDL 自 2024 年 6 月 19 日发布以来,在 VS Code 市场下载量已超 12,000 次,不含官网直接下载。月下载速度从 2024 年 6 月至 2025 年 9 月的 650 次升至目前超 2,000 次,达到 10,000 次用了一年多,之后不到 2 个月又增 2,000 次。
Chisel v7.5.0 将 ExtModule 和 Params 移出 experimental 并标记弃用,同时弃用 BlackBox 以改用 ExtModule。该版本修复了域关联中的简单视图支持、ExtModule 端口视图的 boring taps,并支持绝对路径 source locators;CIRCT 依赖从 firtool-1.137.0 升至 firtool-1.138.0。
SiFive 高级主任工程师 Jack Koenig 是 Chisel 与 FIRRTL 项目任职最久的维护者之一,十年来参与将 FIRRTL 从原型推进到生产,并推动其 Scala 重实现及基于 MLIR 的 CircuitIR 重写。

英伟达以20亿美元入股新思,双方于12月1日宣布长期合作,将共同开发把计算密集的EDA任务从CPU迁移到英伟达GPU的工具。合作声明为非排他,新思将继续与其他硬件厂商合作,并称投资不附带购买英伟达硬件的义务。
Yosys 发布 0.60 版本,新增用于读取 SDC 文件的 sdc 命令,并加入实验性的 sdc_expand 与 opensta 命令用于 OpenSTA 集成。该版本还新增 icell_liberty 命令,read_verilog 支持无尺寸参数,并增加静态库编译选项。

YosysHQ 发布 Tabby CAD Suite 20251203 版本,本次更新继续聚焦底层执行时间与可维护性改进,没有大的用户可见变化。同期 Matt 为 DVWorld 做了题为“Formal Verification Adoption Made Easy”的演讲。
Sigasi 上线其 2026 年首场网络研讨会点播,演示如何用 Sigasi Visual HDL 的 shift-left 方法在验证阶段节省时间与成本,面向 SystemVerilog 与 VHDL 的设计和验证工程师。

英伟达以每股414.79美元购入新思20亿美元股份,作为双方宣布的多年合作的一部分,交易结构与此前对英特尔的50亿美元投资类似。
CHIPS Alliance 宣布开源 RTL 仿真器 Verilator 现在可以展开上游 UVM 2017-1.0,无需任何补丁或变通方案。这一进展由 Antmicro 在 CHIPS Alliance 内主导,Verilator 维护者 Wilson Snyder 及开源社区参与补充。
推荐理由:开源仿真器 Verilator 无需补丁即可展开上游 UVM 2017-1.0,文中给出复现步骤与后续路线。
苏州培风图南半导体发布工艺与器件仿真套件 Mozz 2025.10 版本,新增三维工艺形貌仿真工具 Mozz ProcEmu、Mozz ProcFlow、Mozz Analytics 和基于有限差分法的三维 RC 参数提取工具 Mozz RCExFD。

芯行纪在ICCAD-Expo 2025展出AI驱动的全自研数字实现EDA工具,包括中国首款全自研数字布局布线工具AmazeSys、智能布局规划工具AmazeFP及机器学习优化工具AmazeME-FP、AmazeME-Place。公司资深工程总监陈小利在演讲中称,AI在布局布线、时序优化、DRC收敛等环节作用突显,相关工具已在RISC-V core、复杂接口模块、GPU硬件加速项目中实践。
Sigasi 运营副总裁 Mark Christiaens 在 Fedora 43 上试用 Google 随 Gemini 3 发布的智能体开发平台 Antigravity,确认现有 VS Code 版 Sigasi Visual HDL 扩展无需修改即可安装运行,项目可被完整分析并支持图表、导航与文档功能。
NVC VHDL 编译器发布 1.18.2 小版本错误修复更新,修复了一处会导致 `x * x` 结果为零的误优化(#1338,来自 @Blebowski),并解决了 #1239、#1332、#1334、#1335、#1347、#1348 等若干其他小问题。

NVIDIA 在 SC25 上展示了 BlueField-4 DPU、Quantum-X Photonics InfiniBand CPO 交换机及 AI 物理开放模型家族 Apollo,BlueField-4 结合 64 核 Grace CPU 与 ConnectX-9 网络。
FuseSoC 2.4.5 发布,新增基于 URL 的库同步支持,并加入 SPDX 生成过滤器。该版本还修正了 copyto 到目录时的 EDAM 文件名,并在过滤器出错时输出堆栈跟踪。
CHIPS Alliance 技术咨询委员会(TAC)主席、Google 技术项目经理 Aaron Cunningham 将工作重心放在治理文档、项目生命周期与沙箱定义等基础结构上,而非编写 HDL。
Yosys 发布 0.59.1 缺陷修复版本,修复了 pyosys 构建问题,并解决 libparse 对带引号值的解析与内存安全问题。