The delay of circuits whose inputs have specified arrival times

Let C be a circuit representing a straight-line program on n inputs x₁,x₂,…,x_n. If for 1?i?n an arrival timet_i∈N₀ for x_i is given, we define the delay of x_i in C as the sum of t_i and the maximum number of gates on a directed path in C starting in x_i. The delay of C is defined as the maximum delay of one of its inputs.The notion of delay is a natural generalization of the notion of depth. It is of practical interest because it corresponds exactly to the static timing analysis used throughout the industry for the analysis of the timing behaviour of a chip. We prove a lower bound on the delay and construct circuits of close-to-optimal delay for several classes of functions. We describe circuits solving the prefix problem on n inputs that are of essentially optimal delay and of size O(nlog(logn)). Finally, we relate delay to formula size.