唯一LP疾控中心路径可以在RTL如果疾控中心检查工具可以推断UPF值描述的电力网络。
在我最后的发布,我们讨论了一些公司面临的障碍,为了满足他们的低功率验证目标,以及如何完成和集成技术在Synopsys对此新产品可以帮助验证编译器。这一次,我想介绍一个相关的例子统一技术解决方案可以帮助解决复杂的在低功率设计交互验证,我还将介绍Namit Gupta,我们企业应用工程专家中心验证。Namit会谈论为什么必须执行静态疾控中心验证低功率的上下文中实现和验证流程。
LP-Aware疾控中心检查——Namit Gupta, CAE验证组
每一个低功耗SoC设计将需要广泛的疾病预防控制中心验证,这必须与低功率验证完成。时钟口岸从UPF值低功率路径推断意图不出现在RTL设计,在设计过程中,已经太迟了验证PG网表发布地点和路线。疾控中心检查必须使用相同的视图设计的低功率静态检查(如Synopsys对此的VC LP工具),同样的,在设计过程的早期使用。这个统一的方法论的唯一途径是让设计团队充分验证低功率意图和实现,并去除LP /疾控中心错误很容易找到并修复早期流,从仿真流程,这些变得更难检测和调试。
例子——隔离控制策略
假设图1。下面是一个例子的RTL表示设计有两个时钟(C1和C2),和一些电源管理控制器达到C2:
图1所示。
用户指定以下隔离策略UPF权力意图:
set_isolation outputs_only
域一个
-isolation_power_net VDD_A
-clamp_value 0
-applies_to输出
set_isolation_control outputs_only
域一个
-isolation_signal ISO
-isolation_sense低
位置的自我
然后结果post-synthesis网表还包括橙色的逻辑推断的UPF值(图2):
图2
路径从ISO >着干活>失败3的红色虚线是疾控中心路径,仅仅从RTL和不能被检测到。这种类型的疾病预防控制中心路径可能非常普遍根据设计风格,这是必要的,这些路径识别和验证在设计周期的早期,之前合成。同样,疾控中心可能出现违反其他低功耗设计技术,所有这些需要集成LP和CDC静态检查,使全面检查。
唯一的方法可以检查这些LP疾控中心路径在RTL如果CDC工具可以推断UPF值描述的电力网络。因为Synopsys对此的VC CDC静态检查工具是建立在先进的静态技术基地一样我们VC LP低功率静态检查器,我们可以检查CDC路径相同的设计,其中包括CDC推断电力网络路径。VC LP和VC CDC的RTL和UPF值硬件推理引擎也通用于所有Synopsys对此验证工具,这保证优秀的相关设计编译器post-synthesis网表,以及RTL模拟与风险投资本地低功率。这允许实施工程师快速,容易和全面验证他们的低功率设计意图,和独特的桥梁实现和验证的世界。
|
|
|
|
|
|
|
|
|
|
[…]反思低功率验证:LP +疾控中心验证的唯一途径LP疾控中心路径可以在RTL如果疾控中心检查工具可以推断UPF值描述的电力网络。[…]