论文标题
通过现代优化镜头进行统计静态时间分析：I。基于直方图的方法
Statistical static timing analysis via modern optimization lens: I. Histogram-based approach
论文作者
论文摘要
从数学优化的角度研究了统计静态定时分析（SSTA）。我们提供了两个问题的两个公式，即找到以前未知的关键路径延迟分布：（i）使用二进制编程和（ii）使用几何编程的实用配方来解决SSTA问题的表述。为简单起见，我们使用分布的直方图近似。研究了方法的可伸缩性，并讨论了可能的概括。
Statistical static timing analysis (SSTA) is studied from the point of view of mathematical optimization. We present two formulations of the problem of finding the critical path delay distribution that were not known before: (i) a formulation of the SSTA problem using Binary--Integer Programming and (ii) a practical formulation using Geometric Programming. For simplicity, we use histogram approximation of the distributions. Scalability of the approaches is studied and possible generalizations are discussed.
