A technique for estimating power in asynchronous circuits

In this paper we investigate the problem of estimating power consumption in an asynchronous (clock-less) circuit. Specifically, we examine the differences in power estimation in synchronous and asynchronous circuits and propose to integrate and extend the recent work by Devadas, Ghosh, and Keutzer to self-timed circuits. A Petri net based abstraction for self-timed circuits is used to derive algorithms for power estimation. The analysis is performed on the embedded discrete time Markov chain in the reachability graph of the Petri net.

[1]  Mary K. Vernon,et al.  The GTPN Analyzer: Numerical Methods and User Interface , 1986, FJCC.

[2]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[3]  David L. Dill,et al.  Specification and automatic verification of self-timed queues , 1989, Formal Methods Syst. Des..

[4]  Kurt Keutzer,et al.  Estimation of power dissipation in CMOS combinational circuits , 1990, IEEE Proceedings of the Custom Integrated Circuits Conference.

[5]  J. C. Ebergen.  Translating programs into delay-insensitive circuits , 1989 .

[6]  Ganesh Gopalakrishnan,et al.  SHILPA: a high-level synthesis system for self-timed circuits , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[7]  Farid N. Najm,et al.  Transition density, a stochastic measure of activity in digital circuits , 1991, 28th ACM/IEEE Design Automation Conference.

[8]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[9]  Kurt Keutzer,et al.  Estimation of average switching activity in combinational and sequential circuits , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[10]  David Misunas,et al.  Petri nets and speed independent design , 1973, Commun. ACM.

[11]  Chi-Ying Tsui,et al.  Exact and Approximate Methods of Switching Activity Estimation in Sequential Logic Circuits , 1994 .

[12]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .