Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs

In this paper, we consider the problem of calculating the signal and transition probabilities of the internal nodes of the combinational logic part of a nite state machine (FSM). Given the state transition graph (STG) of the FSM, we rst calculate the state probabilities by iteratively solving the Chapman-Kolmogorov equations. Using these probabilities, we then calculate the exact signal and transition probabilities by an implicit state enumeration procedure. For large sequential machines where the STG cannot be explicitly built, we unroll the next state logic k times and estimate the signal probability of the state bits using an OBDD-based approach. The basic computation step consists of solving a system of nonlinear equations. We then use these estimates to approximately calculate signaland transition probabilities of the internal nodes. Our experimental results indicate that the average errors of transition probabilities and power estimation(compared to the exact method) are only 5...

• Type: Conference
• Year: 1994
• Where: DAC
• Authors: Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain
• Keywords: Computer Architecture, DAC 1994, Internal Nodes, State Probabilities, Transition Probabilities