arrow
Return

Approximate Logic Synthesis: A Survey

delete2020-12-01
delete53
delete
OA
AI
I
Ilaria Scarabottolo *
G
Giovanni Ansaloni
G
George A. Constantinides
L
Laura Pozzi
S
Sherief Reda
DOI:10.1109/JPROC.2020.3014430delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Approximate computing is an emerging paradigm that, by relaxing the requirement for full accuracy, offers benefits in terms of design area and power consumption. This paradigm is particularly attractive in applications where the underlying computation has inherent resilience to small errors. Such applications are abundant in many domains, including machine learning, computer vision, and signal processing. In circuit design, a major challenge is the capability to synthesize the approximate circuits automatically without manually relying on the expertise of designers. In this work, we review methods devised to synthesize approximate circuits, given their exact functionality and an approximability threshold. We summarize strategies for evaluating the error that circuit simplification can induce on the output, which guides synthesis techniques in choosing the circuit transformations that lead to the largest benefit for a given amount of induced error. We then review circuit simplification methods that operate at the gate or Boolean level, including those that leverage classical Boolean synthesis techniques to realize the approximations. We also summarize strategies that take high-level descriptions, such as C or behavioral Verilog, and synthesize approximate circuits from these descriptions.
Keywords:
Circuit synthesis
Integrated circuit modeling
Measurement
Logic gates
Boolean functions
Power demand
Approximate computing
Approximation methods
Approximation
circuit
logic synthesis
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Proceedings of the IEEE cover
Proceedings of the IEEE
IF:
25.9
Papers:
9.9K
Citations:
4.5W

Organization

U
Universita della Svizzera Italiana
Scholars:
3.3K
Papers: 2.8K
Citations: 3
B
Brown University
Scholars:
2.4W
Papers: 2.2W
Citations: 3.2W
I
Imperial College London
Scholars:
8.3W
Papers: 7.3W
Citations: 11.1W
researcher View more organizations