首页/文章/ 详情

Conformal AI Studio 前端验证设计挑战迎刃而解

1月前浏览20
   




Cadence 推出最新的前端验证设计方案 Conformal AI Studio,专为解决日益复杂的前端设计挑战而打造,旨在提升设计人员的工作效率,进而优化全流程功耗、效能和面积(PPA)等设计目标

   

Conformal 技术在逻辑等效验证(LEC)领域深耕数十年,长期以来已成为验证 Cadence 与第三方数位设计工具正确性的关键工具。随着设计复杂度与日俱增,Conformal 也不断进化,全新推出的 Conformal AI Studio,为一款包含全新 LEC、自动化功能工程变更单(ECO)及低功耗静态签核(CLP)产品的解决方案,并导入 AI 与机器学习(ML)演算法,全面强化验证效率,满足现代设计团队对高效生产力的需求。

Cadence 于四月圆满举办 Cadence Conformal 前端验证技术研讨会,并全球首度发表 Conformal AI Studio 解决方案,由 Cadence Conformal 研发团队资深研发处长 Dr.Zhuo Li 率领研发团队,齐力分享 Conformal 的创新与突破。该产品目前已获得联发科与瑞萨电子的使用。根据联发科表示,其在试用 Cadence Conformal AI Studio 的过程中取得了非常显著的进步成果,相较于之前的解决方案,使用新的 Conformal AI ECO 流程,能够以一半的执行时间缩小 83% 的策略性 ECO 修补面积。联发科技也使用 Conformal AI Low Power 的快速功率状态表分析引擎,让系统执行时间和存储器使用的效率均进步百倍之多。同时,联发科也进一步导入 Conformal AI Studio 全新的 ML 驱动 LEC abort 解决方案。为此,该活动特别邀请到联发科技技术经理 Bear Chen 分享 Conformal AI Studio 的实际使用经验「OnePass ECO and SmartECO」,一探 AI 如何助力芯片设计验证的实例。

   

感谢客户多年来对 Conformal 验证技术的信任与使用,本次活动亦感谢来自芯片设计与半导体领域超过 33 家企业,近百位客户与伙伴的莅临,并在会后提供宝贵的建议与支持,这些都是 Conformal 设计验证技术不断前行、自我挑战创新的动力!

 

来源:Cadence楷登
System半导体电子芯片Cadence
著作权归作者所有,欢迎分享,未经许可,不得转载
首次发布时间:2025-10-26
最近编辑:1月前
Cadence楷登
签名征集中
获赞 2粉丝 109文章 636课程 0
点赞
收藏
作者推荐

利用 V2-f 湍流模型进行更深入的流动研究

本文翻译转载于:Cadence Blog作者:Gaurav要点●提出一种“代码友好”的模型变体,以提高数值稳定性。●实践表明,如果使用隐式的、逐个方程分离的方法,该变体具有一定优势。这个变体缓解了由壁面边界条件引起的与 Durban 原始模型 相关的“刚度问题”。●当雷诺数较高、近壁网格间距极小时,这种作用更加明显。 挖掘 V2-f 湍流模型在复杂流动中的潜力在高速空气动力学中,利用二阶矩闭合来研究冲击/边界层相互作用的研究很少。究其原因,是雷诺应力方程缺乏明确的二阶扩散项,导致数值稳定性差。(例如,Batten 等,1997;Ha Minh 和 Vandromme,1986;Lien 和 Leschziner,1993)。当所有雷诺应力分量都存储在精确位置时,这个问题会变得更加严重,导致速度与应力解耦和令人头疼的棋盘振荡。在曲面上设置边界条件较为复杂,这是在数值上实现二阶矩闭合的一个重大挑战。大多数低雷诺数 (Re)二阶矩闭合模型都非常复杂,但只在较为简单的流体场景下进行了验证,例如 Craft 和 Launder(1996)开发的模型。因此,当 y+ 值约为 60 时,需要将高雷诺数模型(Gibson 和 Launder,1978)与标准低雷诺数涡流粘度模型结合起来,以确保湍流仿真中的平滑过渡。然而,Patel(1985)等人研究的大多数低雷诺数 模型都在涡流-粘度表达式中加入了一个特殊的粘性阻尼函数 ,即 。阻尼函数修正了涡流-粘度公式在接近固体壁面时不适当的渐近行为。它通常是非线性的,并能引起数值刚度。Durbin(1991)建议,在上述方程中,应使用与流线法向的 湍流应力,而不是使用 k 来表示壁面的运动阻塞。因此, 模型无需再使用粘性阻尼函数。 数量是从输运方程推导而来,这是二阶矩闭合理论的简化版。 方程中的压力-应变项发挥着至关重要的作用,可在壁面附近重新分配湍流能量,确保正确的湍流水平和恢复各向同性。这是通过辅助椭圆松弛方程实现的,该方程提供了更准确的近壁湍流行为表现。理解 V2-f 湍流模型的核心原则Durbin 1995 年的突破:针对精密流体分析,揭开原始 V2-f 模型的秘密。Boussinesq 近似彻底改变了应力-应变关系,提高了准确度。涡粘度由以下公式得出:湍流时间由以下公式得出:湍流长度尺度由以下公式得出:湍流时间和长度尺度由标准的 k-ɛ 方程确定:应变率大小定义为:湍动能的产生定义为:用 y 表示与墙体垂直的坐标,在无滑移边界上,,得出的结果是上述方程突出了湍流能量如何从流向分量中重新分配,通过函数 f 的椭圆松弛方程捕获非局部效应。这种方法可确保精确、真实地描述流体中的空间相互作用,为复杂的湍流动力学提供了更深入的见解。壁面附近的压力-应变 和耗散项 的渐近行为可描述为:由此得出原始 模型中的边界条件为:原始模型的系数如下:其中 d 是到壁面的距离。椭圆松弛方法:湍流中的代码友好创新(Lien 和 Durban,1996;Lien 等,1998)。 的边界条件包含了一个 项的四次方,而 出现在分母上。这在层流和过渡区带来了一个挑战, 在此处的定义是不适定的,会引起数值振荡。当采用分离数值过程时,这些振荡变得更为明显,因为它能防止 和 在壁面附近的隐式耦合。这启发人们重新表述了 输运方程中的项:这里重新定义了,带来椭圆松弛方程的修改,进而更好地捕捉流体动力学。壁面的 边界条件导致 ,这大大提高了数值稳定性。注意,这些修改保留了与原始模型相同的渐近近壁行为:随着 ,由椭圆松弛引起的运动阻塞效应消失。得出的代码友好型模型的常量表示为:参考文献Batten, P.E., Loyau, H., Leschziner, M.A., 1997. In: Proceedings of the Workshop on Shock/Boundary-Layer Interaction, UMIST, UK.Ha Minh, H., Vandromme, D.D., 1986. Modeling of compressible turbulent flows: present possibilities and perspectives. In: Proceedings of the Shear Layer/Shock Wave Interaction, IUTAM Symposium, Palaiseau, Springer, Berlin, p. 13.Lien, F.S., Leschziner, M.A., 1993. A pressure-velocity solution strategy for compressible flow and its application to shock/boundary-layer interaction using second-moment turbulence closure. ASME J. Fluid Eng. 115, 717.Durbin, P.A., 1995. Separated flow computations with the k-ɛ-v2 model. AIAA J. 33, 659.Durbin, P., 1996. On the k-ɛ stagnation point anomaly. Int. J. Heat Fluid Flow 17, 89.Lien, F.S., Durbin, P.A., 1996. Non-linear k-ɛ-v2 modeling with application to high lift. In: Proceedings of the Summer Program 1996, Stanford University, p. 5. Lien, F.S., Kalitzin, G., Durbin, P.A., 1998. RANS modeling for compressible and transitional flows. In: Proceedings of the Summer Program 1998, Stanford University, p. 267.Lien, F.S., Kalitzin, G., Computations of transonic flow with the v2 - f turbulence model.▲上下滑动查看更多▼ 来源:Cadence楷登

未登录
还没有评论
课程
培训
服务
行家
VIP会员 学习计划 福利任务
下载APP
联系我们
帮助与反馈