By Topic

Probabilistic timing analysis of asynchronous systems with moments of delays

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Chakraborty, S. ; Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Bombay, India ; Angrish, R.

Finding time separation of events is a fundamental problem in the analysis of asynchronous systems. When component delays have statistical variations, it is both interesting and useful to compute moments of time separation of events. Traditionally, Monte Carlo simulation has been used for this purpose. However Monte Carlo simulation requires knowledge of the probability distributions of component delays, which is often difficult to ascertain. Much more easily available are parameters like the statistical mean and variance of component delays. Unfortunately, with only these parameters, Monte Carlo simulation cannot be reliably applied. Yet another disadvantage of Monte Carlo simulation is the large number of runs needed before the error term becomes small enough to be acceptable. This paper describes a polynomial-time algorithm for computing bounds on the first two moments of times of occurrence of events in an acyclic timing constraint graph, given only means and variances of component delays. We present experimental results demonstrating the effectiveness of our algorithm.

Published in:

Asynchronous Circuits and Systems, 2002. Proceedings. Eighth International Symposium on

Date of Conference:

8-11 April 2002