跳到正文

NEWS / 动态

#RTL/设计

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

5月19日周二
5月18日周一
5月12日周二
5月11日周一
  1. FOSSi FuseSoC构建管理发行20

    FuseSoC 2.4.6 发布

    FuseSoC 2.4.6 发布,新增从环境变量加载配置文件、扩展 autotype 过滤器、修复 CAPI2 JSON schema,并改进对解析错误依赖的处理。该版本确保 CLI 选项在运行过滤器前完成求值,使库位置相对于配置文件,支持 flag 中的整数、加载时校验 VLNV 名称,以及支持多个同名脚本。

5月7日周四
  1. IEEE TCAD71

    ChiGen:面向 EDA 工具测试的自底向上 Verilog 设计生成方法

    研究提出一种生成真实感 Verilog 设计的方法及配套工具 ChiGen,用于缓解 HDL 基准设计稀缺的问题。ChiGen 最初为测试 Cadence 的 Jasper 形式验证平台而开发,现已开源,并在 Verible、Verilator、Yosys 等工具中发现零日缺陷。其设计原理包括概率文法引导生成、基于 Hindley–Milner 算法的类型推断,以及由数据流分析支持的代码注入。在标准硬件上部署后,ChiGen 在结构多样性、代码覆盖率和缺陷发现能力上优于 Verismith、TransFuzz、VlogHammer 等现有 Verilog Fuzzer。

    推荐理由:论文介绍开源 Verilog 生成工具 ChiGen 的设计原理,并说明其在结构多样性、代码覆盖率和找 bug 能力上的对比结果。

5月4日周一
  1. Sigasi RTL技术文章 官方动态22
    Sigasi RTL技术文章 官方动态的报道配图

    如何在 Verilog 中编写复位逻辑

    Sigasi 技术文章讲解同步数字电路中 Verilog/SystemVerilog 复位的写法,对比同步复位与异步复位的优缺点,并给出异步复位、同步复位及覆盖式同步复位的标准代码模板。文章强调同一进程内要么复位全部信号、要么全部不复位,否则综合可能引入锁存器、时钟使能或额外逻辑;Sigasi Visual HDL 可为时钟化 always 与 always_ff 进程生成代码模板。

4月28日周二
  1. Sigasi 官方动态22
    Sigasi 官方动态的报道配图

    Sigasi Visual HDL:在 AI 生成 RTL 前筑起确定性防线

    Sigasi 发文提出用 Sigasi Visual HDL 在 VS Code 中对 AI 生成的 RTL 做确定性校验,主张允许 AI 生成草稿但须通过这道“防线”才能合入。该工具在输入时执行语法与语义检查并提供 Quick Fix,规则库覆盖 VHDL 与 SystemVerilog/UVM,可约束团队规范与跨语言集成。企业版还提供 Sigasi CLI,用于把检查接入终端与 CI 流程。

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

    Sigasi Visual HDL 推出六集短视频系列,演示 HDL 开发效率功能

    Sigasi 推出六集短视频系列,演示 Sigasi Visual HDL 如何帮助 FPGA 和 ASIC 工程师提升效率。视频涵盖 VS Code 中语言服务器的快速导航、100 毫秒内反馈的实时 linting 与快速修复、自动生成框图与状态机等交互式图形视图、智能编辑器加速 RTL 编写、从源码注释提取的即时文档,以及 UVM linting 与拓扑视图调试。

4月26日周日
  1. Verilator/Veripool42

    Verilator 5.048 发布

    Verilator 5.048 于 2026-04-26 发布,具体变更收录于发行版 Changes 文件并在页面中汇总。该版本延续 5.x 系列对 SystemVerilog 覆盖组、约束、DPI 与 VPI 等能力的支持与优化,并列出各变更的建议者与实现者。

4月18日周六
4月12日周日
4月8日周三
4月3日周五
  1. 思尔芯18
    思尔芯的报道配图

    思尔芯将参展Andes RISC-V CON 2026全球四城巡回,演示S8-100原型验证系统

    思尔芯将以主题演讲加现场展台Demo形式参与Andes RISC-V CON 2026全球巡回,现场演示Andes最新处理器在其新一代原型验证系统S8-100上的运行效果。大会于4月15日至5月14日依次在新竹、圣何塞、北京、上海举行,聚焦AI、车用电子、数据中心及IoT等议题。思尔芯副总裁陈英仁将在北京站和上海站分享与Andes在RISC-V生态共建中的实战经验。

3月26日周四
3月18日周三
3月13日周五
  1. CircuitSutra Technologies 官方动态18

    CircuitSutra 登上 SiliconIndia 封面,因高层抽象左移方法学领导力获认可

    CircuitSutra Technologies 登上 SiliconIndia 封面,获认可在高层抽象左移方法学上的领导地位。该公司自 2005 年起专注改变半导体芯片与电子系统设计方式,早期即押注当时仍在成长的 SystemC 技术。文章指出,随着设计系统逐年复杂,设计抽象层高于 RTL 已从细分选择变为必要,ESL 等方法学正走到前台。

3月4日周三
3月3日周二
  1. Sigasi 官方动态38
    Sigasi 官方动态的报道配图

    Sigasi Visual HDL 2026.1 发布

    Sigasi 发布 Visual HDL 2026.1,提升混合 VHDL/SystemVerilog 设计的语言理解、导航精度、lint 覆盖与项目集成能力。该版本以确定性、可复现的诊断对 AI 生成 RTL 做完整语义项目模型校验,检查类型、层次、作用域与依赖,帮助工程师更早发现问题。

2月22日周日
2月21日周六
2月20日周五
  1. Real Intent 官方动态60
    Real Intent 官方动态的报道配图

    Real Intent 发布 Conquest MAI 微架构完整性签核工具

    Real Intent 宣布推出 Conquest MAI,称其为业界首款微架构完整性签核工具,可在 RTL 设计过程中跨层级自动识别 FSM、FIFO、计数器、移位器和存储器等标准功能组件(SFC)并做局部完整性检查。

    推荐理由:厂商自述的微架构完整性签核工具,用抽象检查替代布尔求解,可对照其速度与覆盖范围说法。

2月19日周四
2月13日周五
2月3日周二
2月2日周一
2月1日周日
1月19日周一
1月16日周五
1月14日周三
1月13日周二
  1. YosysHQ Yosys 综合发行42

    Yosys 0.61 发布

    Yosys 0.61 发布,移除了用于覆盖率跟踪的 "cover" pass,并避免 "opt_merge" pass 合并形式属性,同时将该 pass 并行化。新增 "design_equal" pass 支持模糊测试比较,新增 "lut2bmux" pass 将 $lut 转换为 $bmux,"read_rtlil" pass 增加 "-legalize" 选项以防止语义错误。

  2. CHIPS Alliance Chisel 发行22

    Chisel v7.7.0 发布

    Chisel v7.7.0 发布,新增暴露 FIRRTL memory 读写延迟参数的功能。该版本修复了 ChiselStage$ 中 DedupGroup Phase 的使用问题,并针对 Windows 下验证目录路径问题及 firtool 1.138.0 添加了 workaround。

2025年12月21日周日
  1. CHIPS Alliance Chisel 发行22

    Chisel v7.6.0 发布

    Chisel v7.6.0 发布,core 为端口 Seq 新增 associate 方法,并为 UnitTests main 增加 runpath 选项。后端代码生成修复了连接右侧视图的名称前缀问题,1-1 视图前缀改为取自视图目标名,涉及 FlatIO 常见场景。此外为更多模块类型添加源定位器,改进 svsim 非法 poke 的错误信息,并将 commons-text 更新至 1.15.0。

2025年12月17日周三
2025年12月16日周二
2025年12月12日周五
2025年12月11日周四