A Parametrizable Template for Approximate Logic Synthesis

被引：1

作者：

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

共 50 条

[1] Approximate Logic Synthesis: A Survey
Scarabottolo, Ilaria
Ansaloni, Giovanni
Constantinides, George A.
Pozzi, Laura
Reda, Sherief
PROCEEDINGS OF THE IEEE, 2020, 108 (12) : 2195 - 2213
[2] Logic Synthesis of Approximate Circuits
Venkataramani, Swagath
Kozhikkottu, Vivek J.
Sabne, Amit
Roy, Kaushik
Raghunathan, Anand
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (10) : 2503 - 2515
[3] Approximate Logic Synthesis by Symmetrization
Bernasconi, Anna
Ciriani, Valentina
Villa, Tiziano
2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1655 - 1660
[4] Statistically Certified Approximate Logic Synthesis
Liu, Gai
Zhang, Zhiru
2017 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2017, : 344 - 351
[5] Synthesis of Approximate Logic On Memristive Crossbars
Khokhar, Salman
Ul Hassen, Amad
2019 17TH IEEE INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS), 2019,
[6] ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set
Meng, Chang
Qian, Weikang
Mishchenko, Alan
PROCEEDINGS OF THE 2020 57TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2020,
[7] Approximate logic synthesis for error tolerant applications
Shin, Doochul
Gupta, Sandeep K.
2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 957 - 960
[8] Search Space Characterization for Approximate Logic Synthesis
Witschen, Linus
Wiersema, Tobias
Reuter, Lucas
Platzner, Marco
PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 433 - 438
[9] SALSA: Systematic Logic Synthesis of Approximate Circuits
Venkataramani, Swagath
Sabne, Amit
Kozhikkottu, Vivek
Roy, Kaushik
Raghunathan, Anand
2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 796 - 801
[10] ALFANS: Multilevel Approximate Logic Synthesis Framework by Approximate Node Simplification
Wu, Yi
Qian, Weikang
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (07) : 1470 - 1483

← 1 2 3 4 5 →