Efficient Neural Network Approximation via Bayesian Reasoning

Approximate Computing (AxC) trades off between the accuracy required by the user and the precision provided by the computing system to achieve several optimizations such as performance improvement, energy, and area reduction. Several AxC techniques have been proposed so far in the literature. They work at different abstraction levels and propose both hardware and software implementations. The standard issue of all existing approaches is the lack of a methodology to estimate the impact of a given AxC technique on the application-level accuracy. This paper proposes a probabilistic approach based on Bayesian networks to quickly estimate the impact of a given approximation technique on application-level accuracy. Moreover, we have also shown how Bayesian networks allow a backtrack analysis that automatically identifies the most sensitive components. That influence analysis dramatically reduces the space exploration for approximation techniques. Preliminary results on a simple artificial neural network shown the efficiency of the proposed approach.

[1]  Alessandro Savino,et al.  Probabilistic estimation of the application-level impact of precision scaling in approximate computing applications , 2019, Microelectronics Reliability.

[2]  Jie Han,et al.  Approximate computing: An emerging paradigm for energy-efficient design , 2013, 2013 18th IEEE European Test Symposium (ETS).

[3]  Marek S. Baranowski,et al.  An SMT Theory of Fixed-Point Arithmetic , 2020, IJCAR.

[4]  Alessandro Savino,et al.  Predicting the Impact of Functional Approximation: from Component- to Application-Level , 2018, 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS).

[5]  Antonino Mazzeo,et al.  Automatic Design Space Exploration of Approximate Algorithms for Big Data Applications , 2016, 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA).

[6]  Dan Grossman,et al.  EnerJ: approximate data types for safe and general low-power computation , 2011, PLDI '11.

[7]  Kaushik Roy,et al.  Approximate computing and the quest for computing efficiency , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[8]  A. Bosio,et al.  Design, Verification, Test and In-Field Implications of Approximate Computing Systems , 2020, 2020 IEEE European Test Symposium (ETS).

[9]  Changhe Yuan,et al.  An Importance Sampling Algorithm Based on Evidence Pre-propagation , 2002, UAI.

[10]  Sparsh Mittal,et al.  A Survey of Techniques for Approximate Computing , 2016, ACM Comput. Surv..

[11]  Kaushik Roy,et al.  Low-Power Digital Signal Processing Using Approximate Adders , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  Alberto Bosio,et al.  Sensitivity Analysis and Compression Opportunities in DNNs Using Weight Sharing , 2020, 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).

[13]  Karthick Parashar,et al.  Accelerated Performance Evaluation of Fixed-Point Systems With Un-Smooth Operations , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Alessandro Savino,et al.  Approximate computing design exploration through data lifetime metrics , 2019, 2019 IEEE European Test Symposium (ETS).

[15]  Wonyong Sung,et al.  Resiliency of Deep Neural Networks under Quantization , 2015, ArXiv.

[16]  Fabrizio Lombardi,et al.  New Metrics for the Reliability of Approximate and Probabilistic Adders , 2013, IEEE Transactions on Computers.

[17]  Adnan Darwiche,et al.  Inference in belief networks: A procedural guide , 1996, Int. J. Approx. Reason..

[18]  James Parker,et al.  on Knowledge and Data Engineering, , 1990 .

[19]  Kaushik Roy,et al.  Analysis and characterization of inherent application resilience for approximate computing , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[20]  Eero P. Simoncelli,et al.  Image quality assessment: from error visibility to structural similarity , 2004, IEEE Transactions on Image Processing.

[21]  Sherief Reda,et al.  ABACUS: A technique for automated behavioral synthesis of approximate computing circuits , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[22]  G. C. Tiao,et al.  Bayesian inference in statistical analysis , 1973 .

[23]  Andreas Gerstlauer,et al.  High-level synthesis of approximate hardware under joint precision and voltage scaling , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[24]  S. R,et al.  Data Mining with Big Data , 2017, 2017 11th International Conference on Intelligent Systems and Control (ISCO).

[25]  Alberto Bosio,et al.  On the Automatic Exploration of Weight Sharing for Deep Neural Network Compression , 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[26]  James Demmel,et al.  Precimonious: Tuning assistant for floating-point precision , 2013, 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC).

[27]  Romuald Rocher,et al.  Analytical Approach for Numerical Accuracy Estimation of Fixed-Point Systems Based on Smooth Operations , 2012, IEEE Transactions on Circuits and Systems I: Regular Papers.