Theoretical bounds for switching activity analysis in finite-state machines

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Volumn 8, Issue 3, 2000, Pages 335-339

  Marculescu, Diana ^a   Marculescu, Radu ^a   Pedram, Massoud ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b University of Southern California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; ELECTRIC NETWORK TOPOLOGY; ELECTRIC POWER SUPPLIES TO APPARATUS; MARKOV PROCESSES; PROBABILITY; SWITCHING THEORY; THEOREM PROVING;

FINITE STATE MACHINE; HAMMING DISTANCE; STATE ASSIGNMENT ALGORITHM; STATE ENCODING; SWITCHING ACTIVITY ANALYSIS;

INTEGRATED CIRCUIT MANUFACTURE;

EID: 0033692171     PISSN: 10638210     EISSN: None     Source Type: Journal    
DOI: 10.1109/92.845899     Document Type: Article

References (14)

1. M. Pedram, "Power minimization in IC design: Principles and applications," ACM Trans. Design Automa. Electron. Syst., 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. Int. Conf. Computer Design, Oct. 1992, pp. 464-467.
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 Int. Conf. Computer-Aided Design, Nov. 1994, pp. 82-87.
4. L. Benini and G. De Micheli, "State assignment for low power dissipation," IEEE J. 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. Int. Conf. Computer-Aided Design, Nov. 1994, pp. 70-73.
6. B. Kumthekar, I. H. Moon, and F. Somenzi, "A symbolic algorithm for low-power sequential synthesis," in Proc. Int. Symp. Low-Power Electronics and Design, Aug. 1997.
7. A. Tyagi, "Entropic bounds on FSM switching," IEEE Trans. VLSI Syst., vol. 5, Dec. 1997.
8. S. Ramprasad, N. R. Shanbhag, and I. N. Hajj, "Achievable bounds on signal transition activity," in Proc. Int. Conf. Computer-Aided Design, Nov. 1997.
9. G. Hachtel, E. Macii, A. Pardo, and F. Somenzi, "Markovian analysis of large finite state machines," IEEE Trans. Computer-Aided Design, vol. 15, Dec. 1996.
10. 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.
11. _, "Information theoretic measures for power analysis," IEEE Trans. Computer-Aided Design, vol. 15, June 1996.
12. A. Tyagi, private communication, Feb. 1998.
13. W. Rudin, Principles of Mathematical Analysis. New York: McGraw-Hill, 1976.
14. D. Marculescu, R. Marculescu, and M. Pedram, "Theoretical bounds for switching activity analysis in finite-state machines," in Proc. Int. Symp. Low-Power Electronics and Design, Aug. 1998.