Parallel Evaluation of Arithmetic Circuits

In this paper, a generic algorithm designed for the parallel evaluation of arithmetic circuits is given. This algorithm can be used in the domain of VLSI design, in order to get tight upper bounds on the computing time of a circuit. It can also be used in automatic parallelization of numerical programs, as a guide for the detection of some predeenite schemes such as dot-products or reductions. More generally, the (theoretical) algorithm presented in section 2 evaluates very quickly arithmetic straight-line programs, and its evaluation time serves as a good upper bound. This algorithm generalizes Miller, Ramachandran and Kaltofen's algorithm 18] in the sense it deals with a great variety of algebraic structures: semi-rings, rings or lattices. Our contribution resides on the one hand in a new bound for the evaluation of circuits over lattices, which improves previous results 19], and on the other hand in the uni-ed formulation for the evaluation algorithm. This algorithm runs in O(min(logn + log d) log n; (h a + log n) log n)) parallel time, d being the \algebraic degree" (in an extended sense) of the circuit and h a the maximal number of alternances of and on a path of the circuit if the and operations deene a lattice, with M(n) processors, where M(n) is the number of processors necessary for the multiplication of two n n matrices in the structure in O(log n) parallel time. After presenting this algorithm, its eeciency is shown on particular cases: taking as input a simple and sequential algorithm, it can be used as a \compiler" to produce a sorting circuit as fast as Cole's circuit, with logarithmic depth, or an adder equivalent to Brent and Kung's adder in terms of size and depth. These academic examples connrm the relevance of the algorithm presented here in the area of conception of fast VLSI arithmetic operators.