...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems >POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent
【24h】

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent

机译：POWER-TRUCTOR：用于形式验证和覆盖建筑动力意图的集成工具流程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

With the growing complexity and gradually shrinking power requirements in the system-on-chip designs, sophisticated global power management policies (which orchestrate the switching between power states of multiple power domains) are commonplace. Recent research has paved some novel ways to verify the sophisticated on-chip architectural power management decisions and analyze the verification coverage. However, one of the primary challenges in verifying such power management architectures stems from the mixed implementation of such strategies, where the local power controllers are in hardware and the global power management is implemented in software/firmware. There has been lack of effort to build a unified and automated framework for power intent verification and coverage analysis for generic power management logics. This paper tries to develop an end-to-end automated framework enabled by a tool named ${tt POWER{-}TRUCTOR}$ for power intent validation.
机译：随着片上系统设计中复杂性的增加和功耗要求的逐渐降低，复杂的全局电源管理策略（协调多个电源域的电源状态之间的切换）已司空见惯。最近的研究铺开了一些新颖的方法来验证复杂的片上架构电源管理决策并分析验证范围。但是，验证这种电源管理体系结构的主要挑战之一是这种策略的混合实现，其中本地电源控制器在硬件中，而全局电源管理在软件/固件中实现。一直没有为通用电源管理逻辑的电源意图验证和覆盖范围分析构建统一的自动化框架。本文试图开发一个端到端的自动化框架，该框架由名为$ {tt POWER {-} TRUCTOR} $的工具启用，用于验证功率意图。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号