A Parametrizable Template for Approximate Logic Synthesis

被引：2

作者：

Rezaalipour, Morteza ^{[1
]}

Biasion, Marco ^{[1
]}

Scarabottolo, Ilaria ^{[1
]}

Constantinides, George A. ^{[2
]}

Pozzi, Laura ^{[1
]}

机构：

[1] USI, Lugano, Switzerland

[2] Imperial Coll London, London, England

来源：

2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W | 2023年

关键词：

DESIGN;

D O I：

10.1109/DSN-W58399.2023.00049

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents XPAT, a novel algorithm for the generation of approximate circuits which employs an SMT solver to shape the final resulting circuit on a given parametrizable template. The solver outlines which products of which input literals must be included in the final circuit in order to undergo a given error constraint. A miter is created containing the exact circuit description, the template, and a measure of the tolerated error, and by carefully tuning some template key parameters, such as limiting the number of literals per product, this algorithm is able to derive circuits that outperform the state of the art in terms of area. XPAT retrieved circuits with area smaller than those found by state of the art methods in 75% of the cases, and on average obtained 9.85% (up to 60.4% in some cases) improvement in area savings.

引用

页码：175 / 178

页数：4