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

Authors:
Jian Ruan;Zhiying Wang;Kui Dai;Yong Li
Affiliations:
School of Computer, National University of Defense Technology, Changsha, Hunan, P.R. China;School of Computer, National University of Defense Technology, Changsha, Hunan, P.R. China;School of Computer, National University of Defense Technology, Changsha, Hunan, P.R. China;School of Computer, National University of Defense Technology, Changsha, Hunan, P.R. China
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Year:
2007

Citing 6
Cited 0

Four-phase micropipeline latch control circuits

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Performance Analysis and Optimization of Asynchronous Circuits

ICCS '94 Proceedings of the1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors
Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events

ASYNC '97 Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Discrete-Event Control of Stochastic Networks: Multimodularity and Regularity (Lecture Notes in Mathematics)

Discrete-Event Control of Stochastic Networks: Multimodularity and Regularity (Lecture Notes in Mathematics)
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

IEEE Transactions on Software Engineering
Accelerating Markovian analysis of asynchronous systems using state compression

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.