Latency Estimation of the Asynchronous Pipeline Using the Max-Plus Algebra

This paper presents a methodology to estimate the latency of the asynchronous pipeline without choices. We propose modeling an asynchronous pipeline with the timed event graph and characterizing its specification via the max-plus algebra. An evolution equation of the event firing epoch can be obtained, which is linear under the max-plus algebraic formalism. In terms of the above-mentioned equation, we can formulate the latency of the pipeline successfully. The case study shows that our method is simple, fast and effective.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Paul Day,et al.  Four-phase micropipeline latch control circuits , 1996, IEEE Trans. Very Large Scale Integr. Syst..

[3]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[4]  Jens Sparsø,et al.  Principles of Asynchronous Circuit Design , 2001 .

[5]  Peter A. Beerel,et al.  Symbolic techniques for performance analysis of timed systems based on average time separation of events , 1997, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.

[6]  Eitan Altman,et al.  Discrete-Event Control of Stochastic Networks - Multimodularity and Regularity , 2004, Lecture notes in mathematics.

[7]  Ganesh Gopalakrishnan,et al.  Performance analysis and optimization of asynchronous circuits , 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[8]  Steven Burns Performance Analysis and Optimization of Asynchronous Circuits , 1991 .

[9]  Peter A. Beerel,et al.  Accelerating Markovian analysis of asynchronous systems using state compression , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..