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

Adam Bosak, Dmytro Mishagli, Jakub Marecek

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