Progressive decomposition a heuristic to structure arithmetic circuits

Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In most of the arithmetic circuits the outcome of the synthesis tools depends on the input description of the circuit. In other...

Full description

Saved in:
Bibliographic Details
Published in:2007 44th ACM/IEEE Design Automation Conference pp. 404 - 409
Main Authors: Verma, Ajay K., Brisk, Philip, Ienne, Paolo
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 04.06.2007
IEEE
Series:ACM Conferences
Subjects:
Algorithms
Boolean Ring
Circuit synthesis
Computational complexity
Computer architecture
Cost function
Delay
Design
Detectors
Digital arithmetic
Factorisation
Hardware > Integrated circuits > Logic circuits > Arithmetic and datapath circuits
Integrated circuit interconnections
Logic circuits
Manuals
Progressive Decomposition
progressive decomposition
boolean ring
factorisation
ISBN:1595936270, 9781595936271
ISSN:0738-100X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In most of the arithmetic circuits the outcome of the synthesis tools depends on the input description of the circuit. In other words, logic synthesis optimisations hardly change the architecture of the given circuit. However, once the input description belongs to the right architecture, logic synthesis does an excellent job in optimising the circuit locally. This is the reason why designers still rely on well studied architectures. The main difficulty in finding the suitable architecture for an arithmetic circuit is the high fan-in dependencies between inputs and outputs (i.e., each output bit depends on a large portion of input bits). Hence, imposing hierarchy and structure is the key to find the best architecture. Although factorisation is one potential solution for this problem, the computational complexity of Boolean factorisation and poor performance of algebraic factorisation make this solution impractical in most cases of interest. In this paper we present a novel approach which progressively decomposes the input circuits into building blocks and constructs hierarchy among these blocks. We show that our approach optimises the critical path delay by 15--30% at the cost of marginal or no area penalty. In some cases, it even improves the area. Qualitatively we observed that our approach found the best known architecture for some circuits without any a priori knowledge about the functionality of the circuit.
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:1595936270
9781595936271
ISSN:0738-100X
DOI:10.1145/1278480.1278585