考虑了时间和空间相关性的统计形式活动分析

摘要

在此公开了考虑了时间和/或空间相关性的统计形式活动分析技术。根据一个实施方式，具有反馈环路的时序电路被展开成多个展开电路，其中该时序电路由有限状态机(FSM)表示。经由相关性网络向每个展开电路引入时间相关性，以用于时序电路的活动分析。时间相关性表示信号的当前逻辑状态与信号的之前逻辑状态之间的依赖关系。还描述了其他方法和装置。