paper-with-me

홈 › Papers

Deep-PowerX: A Deep Learning-Based Framework for Low-Power Approximate Logic Synthesis

2020-07-03 · Ghasem Pasandi, Mackenzie Peterson, Moises Herrera, Shahin Nazarian, Massoud Pedram

This paper aims at integrating three powerful techniques namely Deep Learning, Approximate Computing, and Low Power Design into a strategy to optimize logic at the synthesis level. We utilize advances in deep learning to guide an approximate logic synthesis engine to minimize the dynamic power consumption of a given digital CMOS circuit, subject to a predetermined error rate at the primary outputs. Our framework, Deep-PowerX, focuses on replacing or removing gates on a technology-mapped network and uses a Deep Neural Network (DNN) to predict error rates at primary outputs of the circuit when a specific part of the netlist is approximated. The primary goal of Deep-PowerX is to reduce the dynamic power whereas area reduction serves as a secondary objective. Using the said DNN, Deep-PowerX is able to reduce the exponential time complexity of standard approximate logic synthesis to linear time. Experiments are done on numerous open source benchmark circuits. Results show significant reduction in power and area by up to 1.47 times and 1.43 times compared to exact solutions and by up to 22% and 27% compared to state-of-the-art approximate logic synthesis tools while having orders of magnitudes lower run-time.

📄 PDF Abstract BibTeX arXiv:2007.01465

Code (1)

mackenzp/als 공식 구현 tf

Similar Papers 제목 키워드 기반

Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives

2026-05-12 · Can Zhou, Yulong Gao, Pian Yu arxiv

Synthesising autonomous agents that can navigate uncertain environments while adhering to complex temporal constraints remains a fundamental challenge. While Linear Temporal Logic (LTL) provides a rigorous language for s…

Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis

2020-09-18 · Daniel Neider, Bishwamittra Ghosh

We propose a novel approach to understanding the decision making of complex machine learning models (e.g., deep neural networks) using a combination of probably approximately correct learning (PAC) and a logic inference …

BIG-bench Machine LearningDecision Making

GTAC: A Generative Transformer for Approximate Circuits

2025-12-08 · Jingxin Wang, Shitong Guo, Wenhui Liang, Ruicheng Dai 외 arxiv

Targeting error-tolerant applications, approximate computing relaxes rigid functional equivalence to significantly improve power, performance, and area. Traditional approximate logic synthesis (ALS) relies on incremental…

ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning

2023-03-06 · Animesh Basak Chowdhury, Lilas Alrahis, Luca Collini, Johann Knechtel 외

Oracle-less machine learning (ML) attacks have broken various logic locking schemes. Regular synthesis, which is tailored for area-power-delay optimization, yields netlists where key-gate localities are vulnerable to lea…

AISYN: AI-driven Reinforcement Learning-Based Logic Synthesis Framework

2023-02-08 · Ghasem Pasandi, Sreedhar Pratty, James Forsyth

Logic synthesis is one of the most important steps in design and implementation of digital chips with a big impact on final Quality of Results (QoR). For a most general input circuit modeled by a Directed Acyclic Graph (…

reinforcement-learningReinforcement LearningReinforcement Learning (RL)