
Tabby CAD Suite 20260304 版本发布
YosysHQ 发布 Tabby CAD Suite 三月版本 20260304,可下载,主要包含底层性能改进与缺陷修复。此外,CSO Matt Venn 将于 4 月 22 日出席 DATE 的一场专题讨论。
NEWS / 动态
按时间浏览,使用右上角筛选切换领域。

YosysHQ 发布 Tabby CAD Suite 三月版本 20260304,可下载,主要包含底层性能改进与缺陷修复。此外,CSO Matt Venn 将于 4 月 22 日出席 DATE 的一场专题讨论。
Sigasi 发布 Visual HDL 2026.1,重点改进用户体验与第三方工具集成。新版产品手册导航更完整并新增“Getting Started”章节,Verilog/SystemVerilog 代码高亮覆盖更多构造与边界情况,SystemVerilog 方法支持在跳转定义、重命名和查找引用上更精确。
Sigasi 发布 Visual HDL 2026.1,提升混合 VHDL/SystemVerilog 设计的语言理解、导航精度、lint 覆盖与项目集成能力。该版本以确定性、可复现的诊断对 AI 生成 RTL 做完整语义项目模型校验,检查类型、层次、作用域与依赖,帮助工程师更早发现问题。
Icarus Verilog 发布稳定版 13 分支的首个版本 13.0,发布说明与构建方法见文档。官方计划构建 Windows 二进制文件,但因未签名,Windows 可能对其存在兼容问题。
Verilator 5.046 于 2026-02-28 发布,具体变更收录于发行版 Changes 文件并在页面中汇总。该版本属于 Verilator 修订历史与变更日志的一部分,页面同时列出后续 5.054 版本(2026-11-01)的更新内容。

芯和半导体在DesignCon 2026发布多智能体平台XAI与低频电磁仿真平台Janus,并升级“从芯片到系统”全栈EDA方案。XAI集成四大智能体,覆盖系统知识库自然语言交互、电路仿真AI参数优化、AI预测与传统热仿真协同建模、PDK及IP的AI参数化建模。
推荐理由:芯和一次发布多智能体平台XAI与低频电磁仿真平台Janus,并列出全栈工具升级项,可用于对照其系统级EDA布局。
NVC VHDL 编译器发布 1.19.2 小版本错误修复更新,修复了使用 `--dump-arrays` 转储波形时设计含空记录数组导致的崩溃(#1420),以及使用 `--preserve-case` 分析后通过 `-g` 在命令行设置泛型时的报错(#1421)。

Real Intent 宣布推出 Conquest MAI,称其为业界首款微架构完整性签核工具,可在 RTL 设计过程中跨层级自动识别 FSM、FIFO、计数器、移位器和存储器等标准功能组件(SFC)并做局部完整性检查。
推荐理由:厂商自述的微架构完整性签核工具,用抽象检查替代布尔求解,可对照其速度与覆盖范围说法。
Chisel v7.9.0 发布,为 ExtModule 增加 requirements 参数,并在 svsim 中加入 Verilator 覆盖率设置与报告。
NVC VHDL 编译器发布 1.19.1 小版本错误修复更新。
Yosys 0.62 发布,新增实验性 opt_balance_tree 命令,可将级联单元转换为树状结构以改善时序。verific 增加 -sv2017 标志支持 SystemVerilog 2017,并支持从文件列表读取 VHDL。

YosysHQ 发布 Tabby CAD Suite 二月版本,新增显式 verific -sv2017 选项,此前 SystemVerilog 2017 只能通过始终指向最新标准的 -sv 选项调用。
Chisel v7.8.0 发布,新增 noModulePrefix、SimulationTestHarnessInterface 与 SimulationTestHarness、FlattenInstanceAllowDedup,并加入 ChiselSim.simulateTest 和 SimulationTestStimulus。
Chipmind 称其芯片设计智能体 John 在 20 分钟内把 SHA 加密核集成进一颗 SoC,改动 15 个文件且 CI 测试通过,全程无人工交互。John 在既有设计环境中调用 EDA 工具,完成 OBI 到 AXI 桥接、扩展 RTL 测试平台与固件测试并跑通仿真,最终由人类工程师评审通过。
NVC VHDL 编译器发布 1.19.0 版本,新增 PSL `next_e`、`next_e!` 运算符与 `nondet` 内置函数支持,并加入 `-Werror` 分析选项将警告升级为错误。
Edalize 0.6.4 新增 apicula、trellis 两个流程,以及 gowinpack、openfpgaloader、ecppack、xcelium 四个工具支持。
slang SystemVerilog 编译器发布 v10.0,新增 -Wcase-none、-Wunnamed-generate、-Wvacuous-cover、-Wnested-solve-before 等警告,并加入 --cst-json、--compat all 等选项。

奇捷科技将于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" 选项以防止语义错误。

Tabby CAD Suite 的 1 月版本已开放下载,本次更新修复了 SBY 中的一个缺陷:当设计中有多个属性在精化阶段即可静态判定为真值相同,可能导致属性消失。YosysHQ 同时宣布下一场 Yosys 用户组会议将以问答形式于 2 月 12 日 18:00 CET 举行,议题涵盖形式验证、综合、插件与内部机制、贡献方式及路线图。
Chisel v7.7.0 发布,新增暴露 FIRRTL memory 读写延迟参数的功能。该版本修复了 ChiselStage$ 中 DedupGroup Phase 的使用问题,并针对 Windows 下验证目录路径问题及 firtool 1.138.0 添加了 workaround。
Verilator 5.054 发布,将 `--coverage-branch` 从 `--coverage-line` 中拆出,此前使用 `--coverage-line` 的用户可能需要补加该选项。
Chisel v7.6.0 发布,core 为端口 Seq 新增 associate 方法,并为 UnitTests main 增加 runpath 选项。后端代码生成修复了连接右侧视图的名称前缀问题,1-1 视图前缀改为取自视图目标名,涉及 FlatIO 常见场景。此外为更多模块类型添加源定位器,改进 svsim 非法 poke 的错误信息,并将 commons-text 更新至 1.15.0。
Chisel v7.5.0 将 ExtModule 和 Params 移出 experimental 并标记弃用,同时弃用 BlackBox 以改用 ExtModule。该版本修复了域关联中的简单视图支持、ExtModule 端口视图的 boring taps,并支持绝对路径 source locators;CIRCT 依赖从 firtool-1.137.0 升至 firtool-1.138.0。
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 的设计和验证工程师。
Chisel v7.4.0 发布,将 ClassType 中的 object Type 改为 public,并新增 SimulationTest 标记。svsim 修复了 VCS 2024+ 的 FSDB 生成问题并改用 filelist 指定源文件,CIRCT 依赖从 firtool-1.135.0 升至 firtool-1.137.0,同时升级至 Scala 2.13.18。
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。
NVC VHDL 编译器发布 1.18.2 小版本错误修复更新,修复了一处会导致 `x * x` 结果为零的误优化(#1338,来自 @Blebowski),并解决了 #1239、#1332、#1334、#1335、#1347、#1348 等若干其他小问题。
基于 Python 的芯片验证框架 cocotb 发布 2.0,2.0.0 于 9 月在 ORConf 现场发布,本周推出 2.0.1。官方称该版本聚焦开发者体验,部分行为调整涉及编程接口,部分测试平台需按迁移指南从 1.x 升级,许多测试平台可不经修改直接运行。
推荐理由:官方说明 cocotb 2.0 聚焦开发者体验并调整编程接口,部分测试平台需按迁移指南更新。
FuseSoC 2.4.5 发布,新增基于 URL 的库同步支持,并加入 SPDX 生成过滤器。该版本还修正了 copyto 到目录时的 EDAM 文件名,并在过滤器出错时输出堆栈跟踪。
Yosys 发布 0.59.1 缺陷修复版本,修复了 pyosys 构建问题,并解决 libparse 对带引号值的解析与内存安全问题。
Yosys 0.59 发布,Pyosys 改用 pybind11 重写,RTLIL 解析器为提升效率重写,Liberty 文件读取支持通配符。新增 sort 排序 pass,synth_ecp5 与 synth_nexus 合并为 synth_lattice,并为 synth_gowin 增加 -strict-gw5a-dffs 和 -setundef 选项。

YosysHQ 发布 Tabby CAD Suite 十一月版本,SBY 新增 cycle_width N 选项,用于设置 VCD 波形中全局时钟周期的时间步数,仅在启用 vcd_sim 时生效。Yosys 的 RTLIL 解析器和 pyosys 绑定已重写,官方称不引入功能变化,但可提升执行时间与可维护性。