A general probabilistic framework for worst case timing analysis

被引:0
|
作者
Orshansky, M [1 ]
Keutzer, K [1 ]
机构
[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源
39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002 | 2002年
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The traditional approach to worst-case static-timing analysis is becoming unacceptably conservative due to an ever-increasing number of circuit and process effects. We propose a fundamentally different framework that aims to significantly improve the accuracy of timing predictions through fully probabilistic analysis of gate and path delays. We describe a bottom-up approach for the construction of joint probability density function of path delays, and present novel analytical and algorithmic methods for finding the full distribution of the maximum of a random path delay space with arbitrary path correlations.
引用
收藏
页码:556 / 561
页数:2
相关论文
共 50 条
  • [21] Worst-case spatial correlation length in probabilistic slope stability analysis
    Zhu, D.
    Griffiths, D., V
    Fenton, G. A.
    GEOTECHNIQUE, 2019, 69 (01): : 85 - 88
  • [22] A general framework for accurate statistical timing analysis considering correlations
    Khandelwal, V
    Srivastava, A
    42nd Design Automation Conference, Proceedings 2005, 2005, : 89 - 94
  • [23] Beyond Worst-case: A Probabilistic Analysis of Affine Policies in Dynamic Optimization
    El Housni, Omar
    Goyal, Vineet
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 30 (NIPS 2017), 2017, 30
  • [24] Worst-case timing prediction of relay ladder logic by constraint analysis
    Koo, K
    Kwon, WH
    THIRD INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1996, : 180 - 186
  • [25] Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies
    Kirner, Raimund
    Kadlec, Albrecht
    Puschner, Peter
    PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2009, : 119 - 128
  • [26] An Extended Framework for Worst-case Throughput Analysis with Router Constraint
    Mohan, Vineeth
    Hsu, Wenjing
    Zhang, Wei
    Wu, Xiaowen
    2014 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS), 2014, : 691 - 694
  • [27] A General Framework for Probabilistic Measures of Coherence
    Schippers, Michael
    Koscholke, Jakob
    STUDIA LOGICA, 2020, 108 (03) : 395 - 424
  • [28] Hybrid Probabilistic Timing Analysis
    BEKDEMIR, Levent
    BAZLAMACC, Cuneyt F., I
    2021 15TH TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2021, : 95 - 100
  • [29] A General Framework for Probabilistic Characterizing Formulae
    Sack, Joshua
    Zhang, Lijun
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 396 - +
  • [30] A General Framework for Probabilistic Measures of Coherence
    Michael Schippers
    Jakob Koscholke
    Studia Logica, 2020, 108 : 395 - 424