Author:
Bosák Adam,Mishagli Dmytro,Mareček Jakub
Abstract
AbstractStatistical 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.
Funder
University College Dublin
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Mechanical Engineering,Aerospace Engineering,Civil and Structural Engineering,Software
Reference49 articles.
1. Absil PA, Kurdyka K (2006) On the stable equilibrium points of gradient systems. Syst Control Lett 55(7):573–577. https://doi.org/10.1016/j.sysconle.2006.01.002
2. Agrawal A, Verschueren R, Diamond S, Boyd S (2018) A rewriting system for convex optimization problems. J Control Decis 5(1):42–60. https://doi.org/10.1080/23307706.2017.1397554
3. Beece DK, Visweswariah C, Xiong J, Zolotov V (2014) Transistor sizing of custom high-performance digital circuits with parametric yield considerations. Optim Eng 15(1):217–241. https://doi.org/10.1007/s11081-012-9208-0
4. Berkelaar MRCM, Jess JAG (1990) Gate sizing in MOS digital circuits with linear programming. In: Proceedings of the conference on European design automation, EURO-DAC ’90, pp 217–221. IEEE Computer Society Press, Washington, DC, USA
5. Bhasker J, Chadha R (2009) Static timing analysis for nanometer designs. A practical approach. Springer, Berlin