[发明专利]考虑了时间和空间相关性的统计形式活动分析

权利要求书

1.一种用于电路分析的机器实施的方法，该方法包括：

将时序电路展开成多个展开电路；以及

经由相关性网络在每个所述展开电路的输入信号之间引入时间相关性以用于所述时序电路的活动分析，所述时间相关性表示信号的当前逻辑状态与该信号的之前逻辑状态之间的依赖关系。

2.根据权利要求1所述的方法，该方法还包括：考虑由所述相关性网络引入的所述时间相关性来执行所述活动分析，包括考虑所述时间相关性来通过表示所述时序电路的有限状态机(FSM)传播活动数据以确定所述时序电路的内部信号和输出信号的状态概率和转换概率。

3.根据权利要求1所述的方法，其中，所述相关性网络被配置为基于所述信号的当前逻辑状态和展开电路的信号的转换活动来确定所述展开电路的信号的下一逻辑状态。

4.根据权利要求1所述的方法，该方法还包括：

对于每个展开电路，考虑输入的状态概率和所述输入的转换活动的转换概率来计算输出的状态概率；以及

考虑所述输入的状态概率和所述输入的转换活动的转换概率来计算所述输出的转换概率，其中所述输入的所述转换活动的转换概率由所述相关性网络引入。

5.根据权利要求1所述的方法，其中，用于输入的相关性网络被配置为生成将被连接到下一展开电路的相应输入的信号，并且其中所述信号的值基于当前展开电路中的输入信号的状态、所述输入信号的下降转换速率以及所述输入信号的上升转换速率。

6.根据权利要求5所述的方法，其中，所述相关性网络包括具有多个项的真值表，其中在给定信号的当前状态、所述信号的下降转换活动以及所述信号的上升转换活动的情况下，每一项提供了所述信号的可能下一状态的概率。

7.根据权利要求1所述的方法，该方法还包括：使用编码电路向展开的时序电路的输入引入空间相关性，所述空间相关性表示所述输入与一个或多个其他信号之间的依赖关系，其中，考虑所述时间相关性和所述空间相关性来执行所述活动分析。

8.根据权利要求7所述的方法，其中，所述编码电路被配置为传播多个信号的联合概率信息以向展开的时序电路的输入引入所述空间相关性。

9.根据权利要求8所述的方法，其中，所述编码电路被配置为将所有可能的状态都映射到所述FSM的可达状态中的至少一个状态。

10.根据权利要求8所述的方法，该方法还包括：使用解码电路从展开的时序电路的输出收集所述联合概率信息，所述解码电路经由反馈环路向所述编码电路提供收集到的联合概率信息。

11.根据权利要求10所述的方法，该方法还包括：使用所述编码电路和所述解码电路经由所述反馈环路迭代地对展开的时序电路执行所述活动分析。

12.一种存储机器可执行指令的机器可读存储介质，其中当所述机器可执行指令由机器执行时使所述机器执行用于电路分析的方法，该方法包括：

将时序电路展开成多个展开电路；以及

经由相关性网络在每个所述展开电路的输入信号之间引入时间相关性以用于所述时序电路的活动分析，所述时间相关性表示信号的当前逻辑状态与该信号的之前逻辑状态之间的依赖关系。

13.根据权利要求12所述的机器可读存储介质，其中，所述方法还包括：考虑由所述相关性网络引入的所述时间相关性来执行所述活动分析，包括考虑所述时间相关性来通过表示所述时序电路的有限状态机(FSM)传播活动数据以确定所述时序电路的内部信号和输出信号的状态概率和转换概率。

14.根据权利要求12所述的机器可读存储介质，其中，所述相关性网络被配置为基于所述信号的当前逻辑状态和展开电路的信号的转换活动来确定所述展开电路的信号的下一逻辑状态。

15.根据权利要求12所述的机器可读存储介质，其中，所述方法还包括：

对于每个展开电路，考虑输入的状态概率和所述输入的转换活动的转换概率来计算输出的状态概率；以及

考虑所述输入的状态概率和所述输入的转换概率来计算所述输出的转换概率，其中所述输入的转换概率由所述相关性网络引入。