[发明专利]可控性检验系统及方法

说明书

技术领域

本发明涉及电源控制系统。特别地，本发明涉及电源管理可控性检验的系统和方法。

背景技术

电子系统和装置(例如，大规模集成化芯片、中央加工单元、图形加工单元等)为现代社会的进步做出了显著的贡献，其在广泛地应用中获得有益的结果。许多电子技术，如数字计算机、计算器、音频设置、视频设备和电话系统，促进在商业、科学、教育和娱乐等大部分领域中分析和交流数据的生产率提升和成本降低。这些电子技术经常涉及在非常大和复杂硬件设计中电源管理控制的尝试。然而，在电源管理控制检验方面的传统尝试通常对非常大硬件设计应用的快速电源管理控制检验缺乏足够容量和能力。缺乏对传统可控性检验方法的快速响应经常导致对资源的低效占用。

控制非常大硬件设计应用的电源使用和供应的能力是非常重要的，且电源可控性经常可显著地影响性能和功耗效率。电源管理可控性在涉及有限电源供应(例如，移动设备、电池供电设备等)的非常大硬件设计应用中非常关键。在一些传统方法中，关闭(例如，当确定不使用它们时等)设备和系统的区域，这可导致电源支出的减少，否则会发生(例如，由于电源泄漏等)电源支出。在许多应用中，相对小的部件(例如，电源门、开关、晶体管等)被用于允许或防止设备或系统的各种部件的电源消耗。相对小的部件经常是由电源控制部件输出的专门信号(例如，钳位信号(clamp signal)、休眠信号等)开启或关闭。相对小的控制部件可控制各种部件或部件的区块，电源可控性检验可用于各种粒度(例如，芯片的单个部件、芯片部件的区块等)的部件。

通常，可控性是通过操控某输入信号而改变系统状态的能力。可控性通常是控制系统的输出导致响应具体输入配置的特定值的属性。电源管理可控性检验通常试图确定输入集是否可控制输出信号状态。在一示例中，执行检查以确定，休眠控制信号或电源钳位信号是否在输入特定赋值时激活，并在另一输入配置值时处于非活动状态。一些传统可控性检验检查，电源控制信号集是否可设置和重设与其他输入无关的电源门信号。

传统可控性检验通常涉及逻辑方程，其定义所分析控制部件和产生输出信号下、用于所分析控制部件的控制输入终端上控制信号输入C集的信号值、以及S值的目标值指定给或应用于控制信号输入C集和已求解逻辑方程的目标值(例如通过所分析控制部件的模拟传播值)。在将所赋值应用于控制信号输入C集并求解方程后，若产生信号S得到目标值V，认为成功地发现或确定了提供可控性的控制信号输入C的所请求赋值。

在非常大硬件设计中通常有很多输入，识别许多输入信号中的哪个影响电源可控性对于执行电源控制和电源管理是重要的。大量的输入使检验其中哪个影响电源管理可控性变得复杂和困难。在可控性检验中通常有许多集应用于控制信号输入C的值。传统方法通常包括可应用于控制信号输入C的所有可能值的枚举。在许多传统检验可控性方法中，尽力从无考虑其他输入由S得到V值的2|C|可能性中找出控制信号输入的赋值。在控制信号输入C的集多于非常小的集的情况下，每个可能值的枚举导致检验多数可能性，该可能性通常消耗相当多的加工资源和时间。电源可控性检验的两个可选择传统方法是X传播可控性检验和常数传播可控性检验。每个方法包括所有可能输入值的枚举，在非常大硬件设计应用中通常消耗相当多的加工资源和时间。

传统X传播可控性检验是基于三值模拟(0，1，X)。对于控制信号输入(例如，每位输入C上0和1)集的值的每个可能赋值，剩余的输入终端设为X。然后，评估被“传播”或应用于相应方程和信号S的值。例如，传统电源门控的一个版本包括带有两输入的AND逻辑门。若一输入设为0，其他输入设为X，AND门的输出评估为常数0。在一示例中，带有X值的s1信号和被否定或被反转的s1信号是AND门的输入。X传播方法将评估该门为X，而其他更详细的评估将会意识到其为常数0。即使赋值评估的X传播技术对非常小尺寸集的控制信号输入C可足够地快，其仍然具有潜在的问题。其中的一个问题是它可能太过保守(导致假阴性)而跳过好赋值。进一步的，即使X传播通常不需要表达的优化，其仍然涉及对控制信号输入C集的所有可能值的枚举，并随着控制信号输入C集的尺寸增加而以指数方式地变得更慢。