Analysis of timing delay
نویسندگان
چکیده
منابع مشابه
Bounded Delay Timing Analysis Of
We describe an algebraic technique for performing timing analysis of a class of asyn-chronous circuits described as CSP programs (including Martin's probe operator) with the restrictions that there is no OR-causality and that guard selection is either completely free or mutually exclusive. Such a description is transformed into a safe Petri net with interval time delays speciied on the places o...
متن کاملVariable Delay Timing Analysis of Logic Circuits
We propose a new simulation algorithm for combinational circuits which accurately models delay variations in the gates. The algorithm can also be used for the timing veriication of asynchronous circuits, eg hazard detection, race/oscillation of sequential circuits, etc. The basic idea is to assign a time variable to each signal transition (edge). The gate delays translate to algebraic relations...
متن کاملBounded Delay Timing Analysis of a Class of CSP Programs
We describe an algebraic technique for performing timing analysis of a class of asyn-chronous circuits described as CSP programs (including Martin's probe operator) with the restrictions that there is no OR-causality and that guard selection is either completely free or mutually exclusive. Such a description is transformed into a safe Petri net. Interval time delays are speciied on the places o...
متن کاملProbabilistic Timing Analysis of Asynchronous Systems with Moments of Delay
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 compon...
متن کاملRealistic Delay Modeling in Satisfiability - Based Timing Analysis
Circuit delay computation taking into account the existence of false paths represents a significant and computationally complex problem. Existing research work has focused mainly on path sensitization models and algorithms, and on gate and interconnect delay models. Nevertheless, work in these two main areas has evolved separately, and so most path sensitization models and algorithms assume ver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Taiikugaku kenkyu (Japan Journal of Physical Education, Health and Sport Sciences)
سال: 1984
ISSN: 0484-6710,1881-7718
DOI: 10.5432/jjpehss.kj00003392146