发明名称 |
STATISTICAL FORMAL ACTIVITY ANALYSIS WITH CONSIDERATION OF TEMPORAL AND SPATIAL CORRELATIONS |
摘要 |
Techniques for statistical formal activity analysis with consideration of temporal and/or spatial correlations are described herein. According to one embodiment, a sequential circuit having a feedback loop is unrolled into multiple unrolled circuits, where the sequential circuit is represented by a finite state machine (FSM). A temporal correlation is introduced to each of the unrolled circuits via a correlation network for an activity analysis of the sequential circuit. The temporal correlation represents a dependency relationship between a current logic state of a signal and a previous logic state of the signal. Other methods and apparatuses are also described. |
申请公布号 |
US2012210291(A1) |
申请公布日期 |
2012.08.16 |
申请号 |
US201213440927 |
申请日期 |
2012.04.05 |
申请人 |
GU ZHENYU;MCELYAIN KENNETH S. |
发明人 |
GU ZHENYU;MCELYAIN KENNETH S. |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|