Sciweavers

Share
DAC
1994
ACM

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

9 years 3 months ago
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...
Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where DAC
Authors Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain
Comments (0)
books