115 search results - page 1 / 23 » AFTA: A Formal Delay Model for Functional Timing Analysis |
DATE
1998
IEEE
13 years 9 months ago
1998
IEEE
Despite its importance, we find that a rigorous theoretical foundation for performing timing analysis has been lacking so far. As a result, we have initiated a research project th...
SAC
2006
ACM
13 years 11 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
TSMC
2010
12 years 11 months ago
2010
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
LICS
1998
IEEE
13 years 8 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
DAC
2008
ACM
14 years 6 months ago
2008
ACM
Many recent techniques for timing analysis under variability, in which delay is an explicit function of underlying parameters, may be described as parameterized timing analysis. T...