Constructing Depth-Optimum Circuits for Adders and AND-OR Paths

12/10/2020
by   Ulrich Brenner, et al.
0

We examine the fundamental problem of constructing depth-optimum circuits for binary addition. More precisely, as in literature, we consider the following problem: Given auxiliary inputs t_0, …, t_m-1, so-called generate and propagate signals, construct a depth-optimum circuit over the basis AND2, OR2 computing all n carry bits of an n-bit adder, where m=2n-1. In fact, carry bits are AND-OR paths, i.e., Boolean functions of the form t_0 ( t_1 (t_2 ( … t_m-1) … )). Classical approaches construct so-called prefix circuits which do not achieve a competitive depth. For instance, the popular construction by Kogge and Stone is only a 2-approximation. A lower bound on the depth of any prefix circuit is 1.44 log_2 m + const, while recent non-prefix circuits have a depth of log_2 m + log_2 log_2 m + const. However, it is unknown whether any of these polynomial-time approaches achieves the optimum depth for all m. We present a new exponential-time algorithm solving the problem optimally. The previously best exact algorithm with a running time of 𝒪(2.45^m) is viable only for m ≤ 29. Our algorithm is significantly faster: We achieve a running time of 𝒪(2.02^m) and apply sophisticated pruning strategies to improve practical running times dramatically. This allows us to compute optimum circuits for all m ≤ 64. Combining these computational results with new theoretical insights, we derive the optimum depths of 2^k-bit adder circuits for all k ≤ 13, previously known only for k ≤ 4. In fact, we solve a more general problem occurring in VLSI design: delay optimization of a generalization of AND-OR paths where AND and OR do not necessarily alternate. Our algorithm arises from our new structure theorem which characterizes delay-optimum generalized AND-OR path circuits.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/18/2020

On the complexity of detecting hazards

Detecting and eliminating logic hazards in Boolean circuits is a fundame...
research
09/22/2017

Quantified Derandomization of Linear Threshold Circuits

One of the prominent current challenges in complexity theory is the atte...
research
04/22/2023

Deterministic identity testing paradigms for bounded top-fanin depth-4 circuits

Polynomial Identity Testing (PIT) is a fundamental computational problem...
research
09/18/2020

Delay Optimization of Combinational Logic by And-Or Path Restructuring

We propose a dynamic programming algorithm that constructs delay-optimiz...
research
05/05/2022

The Structural Power of Reconfigurable Circuits in the Amoebot Model

The amoebot model [Derakhshandeh et al., 2014] has been proposed as a mo...
research
06/23/2019

Approximating Unitary Preparations of Orthogonal Black Box States

In this paper, I take a step toward answering the following question: fo...
research
07/17/2018

Near-optimal Bootstrapping of Hitting Sets for Algebraic Circuits

The classical lemma of Ore-DeMillo-Lipton-Schwartz-Zippel states that an...

Please sign up or login with your details

Forgot password? Click here to reset