Chisel v7.12.0 发布:新增同步有理时钟域等特性
Chisel v7.12.0 发布,核心新增同步有理时钟域,并提供将 extmodule 的 defname 与 desiredName 分开设置的 API、ClockDomain 断言辅助方法及 BaseModule.ignoreParentPrefix。
NEWS / 动态
按时间浏览,使用右上角筛选切换领域。
Chisel v7.12.0 发布,核心新增同步有理时钟域,并提供将 extmodule 的 defname 与 desiredName 分开设置的 API、ClockDomain 断言辅助方法及 BaseModule.ignoreParentPrefix。

思尔芯全程参与Andes晶心科技主办的“RISC-V Now! by Andes”全球巡回论坛(新竹、圣何塞、北京、上海四城),通过演讲与现场演示展示其数字EDA工具链如何加速RISC-V芯片从设计到量产。

EDA 行业资深人士 Simon Davidmann 复盘 4 月在意大利维罗纳举行的 DATE 2026,认为 AI 已不再是与芯片设计并列的独立话题,而是同时作为工作负载、设计工具、验证挑战与安全风险出现。
Yosys 0.65 发布,新增 arith_tree pass,可将加/减/macc 链转换为进位保存加法器树。该版本移除了 share pass 的 -force 选项,read_verilog 现支持非打包数组的位置赋值模式。
FuseSoC 2.4.6 发布,新增从环境变量加载配置文件、扩展 autotype 过滤器、修复 CAPI2 JSON schema,并改进对解析错误依赖的处理。该版本确保 CLI 选项在运行过滤器前完成求值,使库位置相对于配置文件,支持 flag 中的整数、加载时校验 VLNV 名称,以及支持多个同名脚本。
研究提出一种生成真实感 Verilog 设计的方法及配套工具 ChiGen,用于缓解 HDL 基准设计稀缺的问题。ChiGen 最初为测试 Cadence 的 Jasper 形式验证平台而开发,现已开源,并在 Verible、Verilator、Yosys 等工具中发现零日缺陷。其设计原理包括概率文法引导生成、基于 Hindley–Milner 算法的类型推断,以及由数据流分析支持的代码注入。在标准硬件上部署后,ChiGen 在结构多样性、代码覆盖率和缺陷发现能力上优于 Verismith、TransFuzz、VlogHammer 等现有 Verilog Fuzzer。
推荐理由:论文介绍开源 Verilog 生成工具 ChiGen 的设计原理,并说明其在结构多样性、代码覆盖率和找 bug 能力上的对比结果。
Sigasi 技术文章讲解同步数字电路中 Verilog/SystemVerilog 复位的写法,对比同步复位与异步复位的优缺点,并给出异步复位、同步复位及覆盖式同步复位的标准代码模板。文章强调同一进程内要么复位全部信号、要么全部不复位,否则综合可能引入锁存器、时钟使能或额外逻辑;Sigasi Visual HDL 可为时钟化 always 与 always_ff 进程生成代码模板。
Sigasi 发文提出用 Sigasi Visual HDL 在 VS Code 中对 AI 生成的 RTL 做确定性校验,主张允许 AI 生成草稿但须通过这道“防线”才能合入。该工具在输入时执行语法与语义检查并提供 Quick Fix,规则库覆盖 VHDL 与 SystemVerilog/UVM,可约束团队规范与跨语言集成。企业版还提供 Sigasi CLI,用于把检查接入终端与 CI 流程。
Sigasi 推出六集短视频系列,演示 Sigasi Visual HDL 如何帮助 FPGA 和 ASIC 工程师提升效率。视频涵盖 VS Code 中语言服务器的快速导航、100 毫秒内反馈的实时 linting 与快速修复、自动生成框图与状态机等交互式图形视图、智能编辑器加速 RTL 编写、从源码注释提取的即时文档,以及 UVM linting 与拓扑视图调试。
Sigasi 举办网络研讨会,介绍其 Visual HDL 如何将 AI 生成代码与确定性验证结合,以安全集成到芯片设计流程中。该研讨会于 3 月 24 日直播,面向希望借助 AI 提速但不愿承担相关风险的工程师。Sigasi 强调获胜的工作流不是单靠 AI,而是 AI 加确定性验证。
Verilator 5.048 于 2026-04-26 发布,具体变更收录于发行版 Changes 文件并在页面中汇总。该版本延续 5.x 系列对 SystemVerilog 覆盖组、约束、DPI 与 VPI 等能力的支持与优化,并列出各变更的建议者与实现者。
Chisel v7.11.0 发布,core 新增 Wire 关联支持与运行时定义选项组的 DynamicGroup,并加入 LTL past 算子;svsim 支持可配置的 expect 失败值格式化。
NVC VHDL 编译器发布 1.20.0,大幅改进 Verilog 与混合语言支持。新增 vhpi_ext_nvc.h 头文件定义专有 VHPI 扩展,并加入 vhpiRandomSeedP 属性返回仿真随机种子;混合语言仿真中的 Verilog 模块现以 vhpiVerilogModuleK 类出现在 VHPI 中,Verilog 预处理器支持带参数宏。
Sigasi 发文阐述 AI 在 RTL 开发中的定位:AI 助手与智能体可快速生成 HDL、重构模块、提出修复建议,但生成代码仍需在完整项目上下文中评审与验证。
思尔芯将以主题演讲加现场展台Demo形式参与Andes RISC-V CON 2026全球巡回,现场演示Andes最新处理器在其新一代原型验证系统S8-100上的运行效果。大会于4月15日至5月14日依次在新竹、圣何塞、北京、上海举行,聚焦AI、车用电子、数据中心及IoT等议题。思尔芯副总裁陈英仁将在北京站和上海站分享与Andes在RISC-V生态共建中的实战经验。
Chisel v7.10.0 发布,新增 bool 的 asReset 转换、ChiselSim 的 Instance Choice 支持、svsim 的 -debug_access 控制,以及域子字段访问、字符串拼接和域实例化操作。
CHIPS Alliance 介绍如何用数字设计聚合框架 Topwrap 搭配 RISC-V 参考 SoC Guineveer,组装、扩展并测试自定义 SoC。
推荐理由:原文以 Guineveer 参考 SoC 为例,展示用 Topwrap 的 YAML 描述增删 IP 并接入 Renode、Verilator 与 FPGA 测试的流程。
CircuitSutra Technologies 登上 SiliconIndia 封面,获认可在高层抽象左移方法学上的领导地位。该公司自 2005 年起专注改变半导体芯片与电子系统设计方式,早期即押注当时仍在成长的 SystemC 技术。文章指出,随着设计系统逐年复杂,设计抽象层高于 RTL 已从细分选择变为必要,ESL 等方法学正走到前台。
Sigasi 将参加 3 月 25 日在德国埃尔朗根 Fraunhofer IIS 举办的 BCDC 第四届芯片开发会议,主题为“芯片设计中的 AI”。
Sigasi 发布 Visual HDL 2026.1,重点改进用户体验与第三方工具集成。新版产品手册导航更完整并新增“Getting Started”章节,Verilog/SystemVerilog 代码高亮覆盖更多构造与边界情况,SystemVerilog 方法支持在跳转定义、重命名和查找引用上更精确。
Sigasi 发布 Visual HDL 2026.1,提升混合 VHDL/SystemVerilog 设计的语言理解、导航精度、lint 覆盖与项目集成能力。该版本以确定性、可复现的诊断对 AI 生成 RTL 做完整语义项目模型校验,检查类型、层次、作用域与依赖,帮助工程师更早发现问题。
NVC VHDL 编译器发布 1.19.2 小版本错误修复更新,修复了使用 `--dump-arrays` 转储波形时设计含空记录数组导致的崩溃(#1420),以及使用 `--preserve-case` 分析后通过 `-g` 在命令行设置泛型时的报错(#1421)。

FOSSi Foundation 的 Matt Venn 因创办 Zero to ASIC Course 和 Tiny Tapeout 项目,获欧洲开源奖技能与教育特别表彰。

Real Intent 宣布推出 Conquest MAI,称其为业界首款微架构完整性签核工具,可在 RTL 设计过程中跨层级自动识别 FSM、FIFO、计数器、移位器和存储器等标准功能组件(SFC)并做局部完整性检查。
推荐理由:厂商自述的微架构完整性签核工具,用抽象检查替代布尔求解,可对照其速度与覆盖范围说法。
Sigasi 在成立 18 年之际对数百名用户开展调查,结果显示近 60% 用户每天使用 Sigasi,超 80% 用于 FPGA 设计、超 50% 用于 ASIC/SoC 或 IP 设计。
Sigasi 宣布将参加 3 月 9–12 日在路易斯安那州新奥尔良 Ernest N. Morial 会议中心举行的 GOMACTech 2026,并在 205 号展位与参会者交流。
Chisel v7.9.0 发布,为 ExtModule 增加 requirements 参数,并在 svsim 中加入 Verilator 覆盖率设置与报告。
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` 分析选项将警告升级为错误。
Sigasi 提出用 Visual HDL 在编码、复用 IP 和集成 AI 生成代码阶段拦截缺陷,其核心诊断具备确定性和可复现性,可在编辑器与 CI 中一致运行。

Adam Taylor 以 AMD Artix-7(xc7a200t-2)上的 FIR 滤波器为例,将 Blue Pearl Visual Verification Suite(VVS)放入迭代流程,用其 COMB 分析定位直接型累加造成的组合逻辑过深问题。
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" 选项以防止语义错误。
Chisel v7.7.0 发布,新增暴露 FIRRTL memory 读写延迟参数的功能。该版本修复了 ChiselStage$ 中 DedupGroup Phase 的使用问题,并针对 Windows 下验证目录路径问题及 firtool 1.138.0 添加了 workaround。
Chisel v7.6.0 发布,core 为端口 Seq 新增 associate 方法,并为 UnitTests main 增加 runpath 选项。后端代码生成修复了连接右侧视图的名称前缀问题,1-1 视图前缀改为取自视图目标名,涉及 FlatIO 常见场景。此外为更多模块类型添加源定位器,改进 svsim 非法 poke 的错误信息,并将 commons-text 更新至 1.15.0。
Sigasi Visual HDL 面向 (E)CAD 经理列出 7 项优势,核心是把 IDE 级智能引入 VHDL、SystemVerilog 及混合语言设计。
Chipmind 官方阐述其 AI 设计助手将 IP-XACT(IEEE 1685)、SystemRDL 等标准化元数据作为一等输入输出,并同步生成寄存器映射、文档与固件头文件。
Sigasi 援引 2024 Wilson Research Group 功能验证趋势报告指出,2024 年仅 14% 的 IC/ASIC 项目实现首次流片成功,为近 20 年最低;FPGA 项目仅 13% 无重大缺陷逃逸。
Sigasi Visual HDL 自 2024 年 6 月 19 日发布以来,在 VS Code 市场下载量已超 12,000 次,不含官网直接下载。月下载速度从 2024 年 6 月至 2025 年 9 月的 650 次升至目前超 2,000 次,达到 10,000 次用了一年多,之后不到 2 个月又增 2,000 次。