使用岛排序应对爆炸力量的国家。
早在2005年,是的,iPhone的发明之前,我做了一个幻灯片教育用户如何在低功率验证。使用一个简单的测试用例3岛,我说明验证必须在4的操作,与8转换和16序列得到证实。这是理论上修剪后的8个州开/关电压岛屿。
超过十年后,我们已经取得了很大的进步与发展和采用IEEE 1801标准(UPF)表达低功率设计意图。科学家发明了一种广泛的验证方法,VMM / UVM集成的低功率验证是共同的地方。
然而,设计和验证团队正努力跟上两个向量的数量不断增加的IP模块和子系统在现代soc和日益增长的电源管理软件的使用。
从表面上看,其中电源管理使生活更轻松。错误可以相对轻松地固定在电源管理软件通过改变驱动程序。例如,一个手机的SoC设计过热而什么都不做超过一个电话。发现大量的未使用的块没有关闭,因此过热产生的泄漏功耗。一个简单的驱动程序解决解决问题而不是什么其他昂贵的资源。
然而,过热的问题被发现在现场!它需要大量的精力来验证软件和硬件一起——特别是移动操作系统Android和iOS有很多层的抽象结束应用程序连接到底层的例程。通常,这个任务不完成tapeout之前几乎没有足够的验证/确认完成,合格的硅。在缺乏适当的覆盖率和测试计划,设计可能会失败在硅和/或字段。
岛屿的数量造成数以百计的IP模块/子系统是这个问题的重要组成部分,无论用户硬件或软件电源管理。数百个岛屿的数量,因此指数增长的状态和转换。这导致用户指定最低限度的权力状态表(pst)——就足以覆盖隔离/水平转移需求。实施结果表是有用的,但没有太多的语义功能验证的重要性。例如,如果所有国家在序列执行的软件不是在太平洋标准时间,模拟设计通过非法状态的序列导致错误的警告。
这看似不可逾越的问题一个答案在一个数学公式——一个管理硬件资源的时间启动/停止。这通常是任意表达为“更常在”,“相对总在”等在一些设置。然而,数学,电压岛可以下令暂时,而需要下令暂时。这些关系可以表示为一组时间不平等和等价。
岛排序,通常被称为建筑检查,今天使用,以确保设计结构和流基本控制信号电压之间的岛屿。然而,岛排序的主要目的是建立时间的关系。岛订购可以极大地帮助设计师修剪大规模PST表与数以百计的列(rails)和指数大行。岛命令是立即可扩展的过渡和序列动态验证检查。
可以这样的数学基础融入testbench环境——生成刺激对电源管理和监控设计响应。断言在正确/不正确的行为也可以派生。更重要的是,时间点覆盖的岛屿提供了急需的处理问题,而不是简单的开/关功能锻炼的岛屿。我们现在可以有意义的目标状态和序列在更高层次的抽象,没有陷入困境,成千上万的PST条目。
这一概念将为仿真证明特别有用,真正运行的软件。指定的数学关系,而不是成千上万的州(还不完善)极大地加快设计是否在合法状态的分析。我们可以做这在真实的应用程序的上下文中,反过来,让用户专注于真正的任务——功率降低和优化。
所以,我们可能最终对低功率覆盖处理。
|
|
|
|
|
|
|
|
|
|
留下一个回复