Issue No. 11 - November (1995 vol. 44)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.475126
<p><it>Abstract</it>—Determining the time separation of events is a fundamental problem in the analysis, synthesis, and optimization of concurrent systems. Applications range from logic optimization of asynchronous digital circuits to evaluation of execution times of programs for real-time systems. We present an efficient algorithm to find exact (tight) bounds on the separation time of events in an arbitrary process graph without conditional behavior. This result is more general than the methods presented in several previously published papers as it handles cyclic graphs and yields the tightest possible bounds on event separations. The algorithm is based on a functional decomposition technique that permits the implicit evaluation of an infinitely unfolded process graph. Examples are presented that demonstrate the utility and efficiency of the solution. The algorithm will form a basis for exploration of timing-constrained synthesis techniques.</p>
Abstract algebra, asynchronous systems, concurrent systems, discrete event systems, time separation of events, timing verification.
T. Amon, G. Borriello, S. M. Burns and H. Hulgaard, "An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems," in IEEE Transactions on Computers, vol. 44, no. , pp. 1306-1317, 1995.