崭新技术解决验证痛点 | 芯华章向新验证技术研讨会圆满举办

来源:芯华章 #芯华章#
8342

7 月 3 日,芯华章向新验证技术研讨会于上海圆满举办。此次活动中,芯华章携手中兴微电子、EDA 国创中心的技术专家,与芯片设计、系统级公司的验证工程师们齐聚一堂,聚焦 “验证痛点攻坚” 与 “产品真实案例”,深度开展技术交流,呈现验证技术探索中的创新进展与实践思考。

从技术创新到价值共创

中兴微电子IC验证经理商思航

国产工具正稳步追赶,初期在小场景应用中或许存在差距,但定制化开发与深度服务能力已构建起独特优势——它们绝非简单的替代品,而是直击实际痛点的“战友”。

中兴微电子IC验证经理商思航在现场分享时提到,在实际项目里,GalaxFV能够快速精准查找出一个模块的约束冲突,这是竞品工具难以实现的。针对某一模块,优化约束后,验证总耗时仅15小时,而第三方工具则需32小时。可见,经定制化服务及算法优化,验证速度与效率实现大幅提升。

此外,中兴微电子携手芯华章联合研发,达成基于大语言模型(LLM)的SVA生成及比对。真实项目实测表明,通过prompt优化与模型优化,Pass@1、Pass@5和Pass@10指标均取得显著提升。

EDA国创中心江哲教授

国家集成电路设计自动化技术创新中心江哲教授,分享了EDA国创团队推出的数字芯片验证大模型ChatDV:“ChatDV首创iModel、iSVA、iTest 和 iDebug 大模型,我们构建的智能验证框架通过iTest生成UVM测试平台,iSVA自动生成SVA断言,采用芯华章GalaxSim高性能逻辑仿真工具用于大模型生成代码的仿真验证,以及GalaxFV形式化验证工具实现闭环验证。”

在芯片开发过程中,功能验证过程占据60%的综合成本与开发周期,而 ChatDV 为这一过程带来了新一代基于大模型的智能化、敏捷化革新。

产品矩阵“快、准、稳、狠”展现验证实力

GalaxSim 高性能、高精度的数字仿真器

今年芯华章围绕 “快、准、稳、狠” 四大核心需求升级 GalaxSim 仿真器,在设计规模爆炸式增长的挑战下实现关键突破。在“快”的维度,GalaxSim聚焦性能,推出了全新的GalaxSim Turbo 3.0解决方案

创新性的实现了事件级仿真引擎和周期级仿真引擎的智能协同,让用户在不需要修改验证环境的情况下,大幅提高了仿真并行度。同时引入一系列内建优化技术,实现了相比传统仿真十倍以上的性能提升

芯华章软件研发总监葛健达现场演示表示:"在实际项目中,客户原本需要一周才能完成的回归,在采用GalaxSim Turbo 3.0解决方案后,成功将时间压缩至40小时以内,大幅提高了用户的验证效率"

GalaxSim产品在性能上不断增加技术积累,新发布的GalaxSim版本无论在编译还是仿真的性能上相比上一代都有很大的提升。

尤其在用户关心的SDF反标后仿上,架构上的优化带来了明显的效率提升。从整体上来说,新一代GalaxSim的性能在各方面已经达到业界领先水平。

同时,GalaxSim在工具质量和用户体验上下足功夫,提供了一系列解决方案来方便用户实现验证流程的加速。

FusionFlex 敏捷验证管理器

在实际验证工作中,大多数的用户考虑的并不仅仅是单个case仿真的速度,而是如何快速的完成整体回归和覆盖率收敛,FusionFlex针对回归中的每个case特性动态地合理配置不同资源大小,最大化压榨服务器的资源,在有限的集群资源下提高回归效率。 

芯华章软件研发总监任义龙分享时指出,FuisonFlex以“狠”字诀实现回归效率和硬件加速器使用率提升,主要解决两大问题:

第一,是在芯片验证过程中,我们怎么样去高效地管理回归。

第二,是如何有效地监控和管理昂贵的内部加速器并提高其使用率,以及如何配合仿真工具使用,从而提升整个回归效率。

FusionFlex通过三大模块重构回归管理流程:Manager 模块支持验证计划与覆盖率追踪,Optim 模块通过动态队列调度将集群资源利用率从60% 提升至 75%,云端模块实现编译后文件上云计算,保障数据安全。

某客户300万Case的大规模回归中,通过FusionFlex的workerPool回归模式避免频繁底层调度,将单case调度耗时从10秒降至1秒以内,结合自动重跑与资源配置优化,使整体回归周期缩短30%

Fusion Debug:提升设计和验证效率的完整调试解决方案

在仿真器的“准”字上,第一方面是我们的波形和覆盖率结果它需要非常准确,第二其实就是我们的Debug工具,这需要有非常精准的方法去帮助我们定位在仿真当中遇到的问题。

而芯华章的目标是做一款懂验证工程师的Debug产品,Fusion Debug 2503版本实现全链路性能突破:波形加载速度提升2倍,设计效率提升3.5倍,全新Trace引擎使信号溯源性能提升5倍。

新增的Glitch Trace功能可一键定位多驱动导致的毛刺根源,X态追踪功能可以自动分析未初始化信号等7类X态成因。

"某内存控制器案例中,X态追踪功能能够一键定位到未初始化信号问题。"芯华章软件研发总监陈鹤现场演示时强调。

该工具深度集成UVM Debug模块类图与对象可视化能力,支持通过Protocol Analyzer定制协议调试界面;功耗分析新增Power Trace功能,可追踪功耗变化的原因并通过Power Mask屏蔽电源噪声干扰,构建起从功能验证到功耗分析的全场景调试能力。

GalaxEC-HEC 高阶等价性验证工具

在聚焦AI芯片、GPU、CPU等场景的数据通路验证,GalaxEC-HEC作为特定领域形式化验证工具,支持C/C++算法模型与RTL实现的事务级等价性比对,可完备验证定点/浮点运算单元以及脉动阵列等复杂计算设计。

在某XPU项目中,该工具对所有算子实现全证明,较传统方案节省9倍人力。其中64位浮点乘法证明耗时200秒,32位除法通过拆分为200+子公式实现10分钟内完备验证。

更关键的是,工具在某超越函数验证中发现了传统正向验证方法难以覆盖的Corner Bug。通过Assume-Guarantee和Case Splitting分治算法,可将64位SRT除法等复杂算子的证明时间从一周压缩至24小时以内

芯华章高级研发总监刘军强调:"在数据通路验证中,我们曾用一个月时间完成复杂脉动阵列的完备形式化证明,这是传统方法难以企及的效果。

部分算子证明性能如下:

在活动茶歇与现场演示环节的交流中,我们也收到来自参会者热情分享体验: 

"很多疑问当场就得到了解答!" "FusionFlex展示了多个不同的使用场景让整个回归效率提升更高,让我看到了产品和我们业务深度融合的可能性。" "工具不仅展示了效率提升,同时也把调试过程中的'坑'分享出来,帮助用户少走了弯路。"

从用户需求中来,到用户场景中去。我们将持续打磨产品,用更成熟的技术,为每一位用户提供更贴合实际场景的解决方案。

"很多疑问当场就得到了解答!" "FusionFlex展示了多个不同的使用场景让整个回归效率提升更高,让我看到了产品和我们业务深度融合的可能性。" "工具不仅展示了效率提升,同时也把调试过程中的'坑'分享出来,帮助用户少走了弯路。"

从用户需求中来,到用户场景中去。我们将持续打磨产品,用更成熟的技术,为每一位用户提供更贴合实际场景的解决方案。

责编: 爱集微
来源:芯华章 #芯华章#
THE END
关闭
加载

PDF 加载中...