In computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution in the integrated environment.

a simulation method of computing the expected timing of a synchronous digital circuit without requiring a simulation of the full circuit.