Methods, systems and computer program products for analyzing a timing
design of an integrated circuit are disclosed. According to an
embodiment, a method for analyzing a timing design of an integrated
circuit comprises: providing an initial static timing analysis of the
integrated circuit; selecting a static timing test with respect to a
static timing test point based on the initial static timing analysis;
selecting a timing path leading to the static timing test point for the
static timing test; determining an integrated slack path variability for
the timing path based on a joint probability distribution of at least one
statistically independent parameter; and analyzing the timing design
based on the integrated slack path variability.