优化权力使用正式的验证技术复杂的设备要简单得多。
乔Hupcey三世
毫不奇怪,功率优化是当今复杂的设计的一个关键部分。大多数消费者不知道是一种潜在的方法,每一个设计工程师必须遵守,以确保消费设备满足电力需求的融合如果消费者没有意识到他们的要求。
工业产品的情况,如服务器和路由器在云计算数据中心,也同样严重。运行在较低功率可以节省数百万美元的电力消耗和减少空调能力。没有一个坚实的力量优化方法,今天的设备将被困在众所周知的“石器时代”,极其有限的功能,非常短的电池寿命,和/或巨大的电力和冷却费用。因此,没有一个可靠的节能设计方法,工程师不能提供电子设备,执行必要的任务用户从他们的电子设备的需求。
得到所需的权力意图,设计师必须精确平衡的用电设备。设计和验证工程师需要地址是否正确插入电源管理电路功能,以及确保不损坏的芯片整体功能描述的权力意图UPF值或论坛的描述。功能分析、优化和验证在整个设计流程中,复杂的能见度不足的第三方知识产权白盒功能,授权以下5个主要要求实现和验证一个低功耗方案:
传统节能验证已经完成各种工具和方法,它只提供有限的分析和验证功能,实现质量不足的结果(QoR)。
相比之下,正式节能验证流与必要的QoR全面满足节能验证需求。
流的前端应该自动创建节能转换和生成一个节能模型,确定电力领域,供电网络和开关,隔离规则和数据保留规则。需要解析和提取相关数据从UPF值/论坛规范,RTL代码和任何用户定义的断言。
然后它必须自动生成断言验证设计元素中定义的权力之间的相互作用的描述(例如,隔离细胞)和设计元素中定义的RTL描述(例如,时钟&控制信号)。它帮助如果应用程序自动化,输出的报告,总结了DUT元素满足或违反特定的属性。
此外,节能设计数据库和断言生成的应用程序可以用来验证电路功率降低和管理符合UPF /论坛规范及不腐败的原始的RTL功能。其他重要的部分包括:
正式的验证提供了能够准确地提供低功耗优化的微妙的平衡,进入创建一个设备,服务消费者期望的所有功能。
产品开发主管乔Hupcey III是贾斯帕设计自动化。
留下一个回复