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

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/EF16_019%2F0000765" target="_blank" >EF16_019/0000765: Výzkumné centrum informatiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2024

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Optimization and Engineering

ISSN

1389-4420

e-ISSN

1573-2924

Svazek periodika

25

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

25

Strana od-do

1405-1429

Kód UT WoS článku

001183489600001

EID výsledku v databázi Scopus

2-s2.0-85171979465