In this paper, we present a novel approach to comprehensively verify timing sensitive blocks, specifically Delay Lines and Delay Locked Loops by modelling transient behavior into the RTL. This paper focuses on reduction of simulation time and increase in design turnaround time. Information gathered from a small set of spice simulations is modelled into a Verilog based environment, which gives s...

The high temporal resolution of fMRI allows to supplement the spatial analysis of the hemodynamic response to focal neuronal activation with a study of the temporal response in each region. Signal processing and time series analysis provide a number of tools for achieving this goal. This contribution suggests to apply a novel modelling technique to fMRI time series in order to estimate the temp...

a memory control for t-s fuzzy discrete-time systems with sto- chastic input delay is proposed in this paper. dierent from the common assumptions on the time delay in the existing literatures, it is assumed in this paper that the delays vary randomly and satisfy some probabilistic dis- tribution. a new state space model of the discrete-time t-s fuzzy system is derived by introducing some stocha...

This paper proposes a statistical analysis of delay faults which is based on the assumption of a linear combination of signal delays along a path. In order to consider distributed signal delays and to reflect that only few paths can be sensitized, the path delay fault model is applied. By choosing appropriate values for parameters, e.g. cycle time and correlations between signal delays, it is p...

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...

The traditional analysis of signal delay in a transmission line begins with a lossless LC representation, which yields a wave equation governing the system response; 2-port parameters are typically derived and the solution is obtained in the transform domain. In this paper, we begin with a distributed RC line model of the interconnect and analytically solve the resulting di usion equation for t...