Power analysis for sequential circuits at logic level

This paper introduces a novel technique to determine the transition probabilities of internal signals for sequential circuits. We account for temporal correlations of primary inputs and internal signals, sequential correlations, and spatial correlations of internal signals. For this purpose, we exploit and combine concepts of unrolling reconvergence analysis, decomposing packers of temporally correlated variables, and Markov chains. Experimental results demonstrate the high accuracy and efficiency of our technique