Information-Theoretic bounds for switching activity analysis in finite-state machines under temporally correlated inputs

Conference Record of the 33rd Asilomar Conference on Signals, Systems, and Computers

Volumn 1, Issue , 1999, Pages 369-373

  Marculescu, Diana ^a   Marculescu, Radu ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b University of Minnesota   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; MARKOV PROCESSES; SWITCHING; CORRELATION METHODS; PROBABILITY;

INFORMATION THEORETIC BOUNDS; LOWER AND UPPER BOUNDS; PRIMARY INPUTS; REAL APPLICATIONS; SPATIOTEMPORAL EFFECTS; SWITCHING ACTIVITIES; TARGET MACHINES; TEMPORAL CORRELATIONS;

SWITCHING THEORY; FINITE AUTOMATA;

SWITCHING ACTIVITY ANALYSIS;

EID: 0033324697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSSC.1999.832354     Document Type: Conference Paper

References (12)

1. M. Pedram, 'Power Minimization in IC Design: Principles and Applications, ' in ACM Trans, on Design Automation of Electronic Systems, vol.1, no.1, pp. 1-54, Jan. 1996.
2. K. Roy and S C. Prasad. 'Syclop: Synthesis of CMOS Logic for Low Power Application, ' in Proc. Intl. Conf on Computer Design, pp. 464-467, Oct. 1992.
3. C.Y. Tsui, M. Pedram, C. Chen, and A.M. Despain, 'Low Power State Assignment Targeting Two-And Multi-level Logic Implementations, ' in Proc. ACM/IEEE Intl. Conf. on Computer- Aided Design, pp. 82-87, Nov. 1994.
4. L. Benini and G. De Micheli, 'State Assignment for Low Power Dissipation', in IEEE Journal of Solid State Circuits, vol.30, no.3, 1995.
5. G. Hachtel, M. Hermida, A. Pardo, M. Poncino and F. Somenzi, 'Reencoding sequential circuits to reduce power dissipation, ' in Proc. Intl. Conf. on Computer-Aided Design, pp. 70-73, Nov. 1994.
6. B. Kumthekar, I.H. Moon, and F. Somenzi, 'A Symbolic Algorithm for Low-Power Sequential Synthesis, ' in Proc. Intl. Symposium on Low-Power Electronics and Design, Aug. 1997.
7. A. Tyagi, 'Entropic Bounds on FSM Switching, ' in IEEE Trans, on VLSI Systems, vol.5, no.4, Dec. 1997.
8. D. Marculescu, R. Marculescu, and M. Pedram, 'Theoretical Bounds for Switching Activity Analysis in Finite-State Machines, ' in Proc. Intl. Symposium on Low-Power Electronics and Design, Aug. 1998.
9. S. Ramprasad, N.R. Shanbhag, and I.N. Hajj, 'Achievable Bounds on Signal Transition Activity, ' in Proc. Intl. Conf. on Computer-Aided Design, Nov. 1997.
10. G. Hachtel, E. Macii, A. Pardo, and F. Somenzi, 'Markovian Analysis of Large Finite State Machines, ' in IEEE Trans, on CAD of Integrated Circuits, vol.15, no. 12. Dec. 1996.
11. D. Marculescu, R. Marculescu, and M. Pedram, 'Trace-Driven Steady-State Probability Estimation with Application to Power Estimation, ' in Proc. Design Automation and Test in Europe Conf, Feb. 1998.
12. D. Marculescu, R. Marculescu, and M. Pedram, 'Information Theoretic Measures for Power Analysis, ' in IEEE Trans, on CAD of Integrated Circuits, vol.15, no.6, June 1996.