2013年5月14日，加州山景城-Jasper设计自动化基于最先进的正式技术的验证解决方案的领先提供商，宣布推出新的JasperGold®低功耗验证应用程序(JG-LPV应用程序)，使用户能够利用正式方法验证SOC设计，以降低多个电压和电源管理域的功耗。JG-LPV App读取RTL描述，并根据电源划分规范创建内部功耗感知的形式化模型。新的应用程序验证电源优化结构，电源管理电路，电源排序，并与其他JasperGold应用程序合作，以验证电源优化不会破坏原始设计功能。JG-LPV应用程序支持标准的UPF和CPF功率意图规范格式。与传统的功耗感知验证方法相比，App的自动化方法以及形式化验证的详尽特性可以减少验证时间、成本和风险。
虽然许多工具和方法用于功率估计、功率优化和结构验证，但JG-LPV是专门用于验证插入电源管理电路后功率意图规范的正确实现和设计的功能。它的自动化使得它在SOC设计的验证中至关重要，其中低功耗管理结构在SOC开发的不同阶段引入，这取决于可用的数据和所需的优化。与传统方法(如电子表格分析、自动化结构分析、手动功能分析、功耗感知模拟和功耗相关设计规则检查(DRC))相比，App的自动化可以显著减少这一复杂迭代过程的设计时间、成本和风险。
Jasper Design Automation应用工程副总裁Lawrence Loh表示:“对于大多数芯片设计师来说，降低功耗已成为关键任务，无论是电池寿命有限的移动设备中的soc，还是不允许过度功耗和过度发热的大型电子产品。”“JG-LPV的形式化验证的详尽性产生了优于功率感知模拟的结果质量，后者通常只适用于设计的有向测试的有限子集。此外，与结构分析等方法相比，JG-LPV确保了插入电源管理电路后设计的正确性，后者仅确保RTL与电源意图规范之间的一致性。新的应用程序有助于减少客户验证功耗优化设计整体功能的工作量、成本和风险。”
JasperGold低功耗验证应用程序
低功耗验证应用程序使用电源意图规范自动生成一个内部电源感知RTL模型，该模型是电源域规范的准确表示。新App还将电源网络、交换机、隔离单元和数据保留单元插入到内部模型中。然后，App从电源规格文件中提取电源顺序信息，并推断出必须发生的电源控制事件序列，以正确实现电源上/下电。
该应用程序还测试功率控制序列-任意时间步长-并执行形式化分析，以确保功率序列是正确和一致的。在序列结束时达到的状态，以及推断出的功率优化RTL，也用于执行证明，以验证芯片功能没有损坏。
JG-LPV还可以利用其他JasperGold应用程序来验证整个设计中的电源域和电源管理电路不会破坏设计的预期功能。
关于JasperGold应用程序
JasperGold应用程序构建在单一平台上，该平台结合了多种基于形式的解决方案，并利用了一个公共的共享数据库和用户界面。应用程序架构支持在应用程序之间共享每个待测设计(DUT)的设计和验证数据，以提高一致性和生产力。Apps架构支持同时部署多个App，以及对同一个App的多次调用，以提高吞吐量和性能。
应用程序体系结构是可扩展的，这样客户就可以利用未来的应用程序来解决新出现的设计和验证需求。通过使用我们的正式技术创建流程，客户解决了设计和验证方面的挑战，这些挑战一直是多个应用程序的灵感来源。客户将能够继续利用JasperGold强大且高度可编程的平台来开发他们的定制流程。
可用性
新的低功耗应用程序现在可用。有关价格和销售咨询，请联系mailto: info@jasper-da.com．
关于Jasper Design Automation
Jasper Design Automation基于最先进的正式技术，为半导体设计、验证和知识产权(IP)重用提供行业领先的软件解决方案。客户包括无线、消费、计算和网络电子行业的全球领导者。Jasper技术已经成为150多个成功的芯片部署的重要组成部分。该公司总部位于加州山景城，是一家私人控股公司，在北美、南美、欧洲、以色列和亚洲设有办事处和分销商。访问www.jasper-da.com降低风险，提高设计、验证和重用的生产力，并加快上市时间。
