技术特征：
1.一种方法，包括：将功率意图加载到集成电路ic设计上，其中所述功率意图由约束集表示；基于所述约束集和期望对所述功率意图执行的规则检查来构造逻辑网络；使用所述逻辑网络对所述功率意图执行所述规则检查；响应于所述规则检查的失败，基于所述逻辑网络来创建一个或多个反演证明；以及由处理器基于所述一个或多个反演证明来标识所述约束集的子集，其中所述约束集的所述子集包括导致所述规则检查失败的不一致性。2.根据权利要求1所述的方法，还包括：修改所述功率意图以去除导致所述规则检查失败的所述不一致性。3.根据权利要求1所述的方法，还包括：提供图形用户界面gui，所述gui标识与导致所述规则检查失败的所述不一致性相对应的所述逻辑网络的一部分。4.根据权利要求1所述的方法，其中所述逻辑网络中的信号对应于电源的状态。5.根据权利要求1所述的方法，其中所述逻辑网络中的信号对应于所述ic设计中的信号。6.根据权利要求1所述的方法，其中所述逻辑网络中的信号对应于所述约束集中的约束。7.根据权利要求1所述的方法，其中所述功率意图定义一组电源域，其中所述一组电源域对应于一组供电电压，并且其中将所述功率意图加载到所述ic设计上包括将所述一组供电电压电连接到所述ic设计中的组件的相应的电源端子，并且创建电路系统以根据所述功率意图改变所述一组电源域的电源状态。8.一种非暂时性计算机可读介质，所述非暂时性计算机可读介质包括存储的指令，所述指令在由处理器执行时，使所述处理器：将功率意图加载到集成电路ic设计上，其中所述功率意图由约束集表示；基于所述约束集和期望对所述功率意图执行的规则检查来构造逻辑网络；使用所述逻辑网络对所述功率意图执行所述规则检查；响应于所述规则检查的失败，基于所述逻辑网络来创建一个或多个反演证明；基于所述一个或多个反演证明来标识所述约束集合的子集，其中所述约束集合的所述子集包括导致所述规则检查失败的不一致性；以及接收对所述功率意图的修改，以去除导致所述规则检查失败的所述不一致性。9.根据权利要求8所述的非暂时性计算机可读介质，其中所述指令在由所述处理器执行时使所述处理器：提供图形用户界面gui，所述gui标识与导致所述规则检查失败的所述不一致性相对应的所述逻辑网络的一部分。10.根据权利要求8所述的非暂时性计算机可读介质，其中所述逻辑网络中的信号对应于电源的状态。11.根据权利要求8所述的非暂时性计算机可读介质，其中所述逻辑网络中的信号对应于所述ic设计中的信号。12.根据权利要求8所述的非暂时性计算机可读介质，其中所述逻辑网络中的信号对应
于所述约束集中的约束。13.根据权利要求8所述的非暂时性计算机可读介质，其中所述功率意图定义一组电源域，并且其中所述一组电源域对应于一组供电电压。14.根据权利要求13所述的非暂时性计算机可读介质，其中将所述功率意图加载到所述ic设计上包括：将所述一组供电电压电连接到所述ic设计中的组件的相应的电源端子，并且创建电路系统以根据所述功率意图改变所述一组电源域的电源状态。15.一种装置，包括：存储器，所述存储器存储指令；以及处理器，所述处理器与所述存储器耦合并执行所述指令，所述指令在被执行时使所述处理器：将功率意图加载到集成电路ic设计上，其中所述功率意图由约束集表示；基于所述约束集和期望对所述功率意图执行的规则检查来构造逻辑网络；使用所述逻辑网络对所述功率意图执行所述规则检查；响应于所述规则检查的失败，基于所述逻辑网络来创建一个或多个反演证明；基于所述一个或多个反演证明来标识所述约束集合的子集，其中所述约束集合的所述子集包括导致所述规则检查失败的不一致性；以及提供图形用户界面gui，所述gui标识与导致所述规则检查失败的不一致性相对应的所述逻辑网络的一部分。16.根据权利要求15所述的装置，其中所述指令在由所述处理器执行时使所述处理器：修改所述功率意图以去除导致所述规则检查失败的所述不一致性。17.根据权利要求15所述的装置，其中所述逻辑网络中的信号对应于电源的状态。18.根据权利要求15所述的装置，其中所述逻辑网络中的信号对应于所述ic设计中的信号。19.根据权利要求15所述的装置，其中所述逻辑网络中的信号对应于所述约束集中的约束。20.根据权利要求15所述的装置，其中所述功率意图定义一组电源域，其中所述一组电源域对应于一组供电电压，并且其中将所述功率意图加载到所述ic设计上包括将所述一组供电电压电连接到所述ic设计中的组件的相应的电源端子，并且创建电路系统以根据所述功率意图改变所述一组电源域的电源状态。
技术总结
提供了用于集成电路设计的功率意图中的不一致约束的诊断。功率意图可以被加载到集成电路(IC)设计上，其中功率意图可以由约束集来表示。可以基于约束集和期望对功率意图执行的规则检查来构造逻辑网络。响应于规则检查的失败，可以基于逻辑网络来创建一个或多个反演证明。可以基于一个或多个反演证明来标识约束集的子集，其中约束集的子集可以包括导致规则检查失败的不一致性。查失败的不一致性。查失败的不一致性。
技术研发人员：M
受保护的技术使用者：美商新思科技有限公司
技术研发日：2022.07.15
技术公布日：2023/1/17