论文信息 - The energy and entropy of VLSI computations

The energy and entropy of VLSI computations

We introduce the concept of energy index, a measure which can be used to estimate the pourer dissipation of a standard implementation of the high-level specification for an asynchronous circuit. This energy index is related to information-theoretic entropy measures. It is shown how these measures can be used to design low-power circuits.

Alain J. Martin | Rajit Manohar | José A. Tierno | R. Manohar | J. Tierno

[1] R. Burgess,et al. A fully-asynchronous low-power error corrector for the DCC player [CMOS technology] , 1994, Proceedings of IEEE International Solid-State Circuits Conference - ISSCC '94.

[2] David A. Huffman,et al. A method for the construction of minimum-redundancy codes , 1952, Proceedings of the IRE.

[3] Farid N. Najm,et al. Towards a high-level power estimation capability , 1995, ISLPED '95.

[4] Alain J. Martin,et al. Syntax-directed translation of concurrent programs into self-timed circuits , 1988 .

[5] L. S. Nielsen,et al. Low-power operation using self-timed circuits and adaptive scaling of the supply voltage , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[6] Jose A. Tierno,et al. An energy-complexity model for VLSI computations , 1995 .

[7] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[8] A. J. Martin,et al. The first asynchronous microprocessor: the test results , 1989, CARN.

[9] Marly Roncken,et al. A fully asynchronous low-power error corrector for the DCC player , 1994 .

[10] David L. Dill,et al. Trace theory for automatic hierarchical verification of speed-independent circuits , 1989, ACM distinguished dissertations.

[11] Frank Thomson Leighton,et al. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits , 1988 .

[12] Jan L. A. van de Snepscheut,et al. Trace Theory and VLSJ Design , 1985, Lecture Notes in Computer Science.