Statistical static timing analysis via modern optimization lens: I. Histogram-based approach

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

Full description

Saved in:
Bibliographic Details
Published in:Optimization and engineering 2024-09, Vol.25 (3), p.1405-1429
Main Authors: Bosák, Adam, Mishagli, Dmytro, Mareček, Jakub
Format: Article
Language:English
Subjects:
Control
Engineering
Environmental Management
Financial Engineering
Histograms
Integer programming
Mathematical programming
Mathematics
Mathematics and Statistics
Operations Research/Decision Theory
Optimization
Research Article
Static timing analysis
Systems Theory
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1389-4420
1573-2924
DOI:10.1007/s11081-023-09847-3