The delay of circuits whose inputs have specified arrival times

AbstractLet C be a circuit representing a straight-line program on n inputs x1,x2,…,xn. If for 1⩽i⩽n an arrival time ti∈N0 for xi is given, we define the delay of xi in C as the sum of ti and the maximum number of gates on a directed path in C starting in xi. 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