结合电力域操作系统级低功耗的测试验证。
在最近的博客帖子,史蒂夫·卡尔森谈论其中的使用测试,以支持并发能力和性能分析。代其中测试的关键技术之一,将通过即将到来的标准从Accellera的便携式刺激工作组(PSWG)。便携式刺激跨越功能验证以及性能验证,所以PSWG-compliant其中测试是一项关键技术,以确保低功耗设计正常工作。驱动领域内芯片系统(SoC)设计上下不得扰乱指定的功能。
低功耗验证确实是一个系统级的问题;权力的全部领域是可见的只有在完整的SoC。发电系统场景代表现实的用例是一个关键的一部分Accellera便携式刺激视觉。这个标准将定义一个格式捕获抽象模型的验证目的商业EDA工具可以生成测试验证平台的全面上运行。这些测试包括检查和覆盖率指标除了刺激的结果。平台支持包括虚拟平台、仿真加速度,软件仿真(ICE), FPGA原型、和硅在启动实验室。
使用便携式刺激来验证预期的低功耗行为实际上是一个综合的解决方案。SoC验证团队首先发展抽象模型,借助于EDA供应商库和方法。供应商的工具可以自动生成一组广泛的其中的测试可以下载到SoC的嵌入式处理器并运行在任何或所有的验证平台。报道预计在一代人时间和在运行时验证。由此产生的系统级覆盖可以结合等传统指标代码覆盖率和SystemVerilog覆盖全面的验证进度。
在这一点上,验证团队知道SoC正常运行大范围场景代表真正的用例和将如何使用该芯片在实际的应用程序。然而,几乎每一个SoC设计低功耗特性,包括打开和关闭电源领域,和特定域的组合。最小化能耗对各种soc很重要,最明显的是保护电池寿命为便携式应用。然而,政府规定为不可移植的设备甚至可能建立权力的限制。即使服务器soc相关,因为研究表明,数据中心对权力的花更多的钱比硬件服务器的生命周期。
所有这些因素驱动的低功耗特性到出类拔萃,这一点很重要,验证这些特性不妥协的功能设计。形式分析可以验证特定方面的低功耗设计结构,但也基本验证的系统级测试可以运行在各种力量的变化。关闭特定权力领域必须不影响功能无关,而所需的域时必须启动适当的场景来完成。这就是便携式刺激提供了理想的解决方案,结合电力领域操作的系统级测试。流程如下图所示:
这个图表显示了捕获的左上部分验证意图的便携式刺激模型和用例场景的生成。低功耗设计的左下角显示许多方面捕获SoC的统一格式(UPF)文件,现在标准IEEE 1801。低功耗行为的模型可以从这种权力意图创建文件。便携式刺激工具结合生成其中的场景测试执行系统级功能场景而上下域驱动的力量。这些测试是运行在任何验证平台,收集和系统级的报道显示整个验证计划已经满足。
便携式刺激是一种天然的和有效的方法来验证系统级低功耗设计方面,正是因为它能够捕捉抽象的验证要求,自动生成测试用例。这种流适合Accellera愿景便携式刺激,但是兴趣验证团队不需要等待PSWG完成其工作和释放标准。节奏Perspec系统验证器和它的支持库提供其中解决低功耗今天确认,以及与Accellera愿景和即将到来的便携式刺激标准。请访问节奏网站要学习更多的知识。
|
|
|
|
|
|
|
|
|
|
留下一个回复