Statistical static timing analysis via modern optimization lens: I. Histogram-based approach
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F24%3A00379063" target="_blank" >RIV/68407700:21230/24:00379063 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/s11081-023-09847-3" target="_blank" >https://doi.org/10.1007/s11081-023-09847-3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11081-023-09847-3" target="_blank" >10.1007/s11081-023-09847-3</a>
Alternative languages
Result language
angličtina
Original language name
Statistical static timing analysis via modern optimization lens: I. Histogram-based approach
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/EF16_019%2F0000765" target="_blank" >EF16_019/0000765: Research Center for Informatics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Optimization and Engineering
ISSN
1389-4420
e-ISSN
1573-2924
Volume of the periodical
25
Issue of the periodical within the volume
3
Country of publishing house
CH - SWITZERLAND
Number of pages
25
Pages from-to
1405-1429
UT code for WoS article
001183489600001
EID of the result in the Scopus database
2-s2.0-85171979465