Title：An Approach to Logic Optimization Using Permissible Functions for Error-Tolerant Application
Authors: Shinya Iwasaki, Hideyuki Ichihara, Tsuyoshi Iwagaki, Tomoo Inoue
Jounrnals：IEICE Tech. Repo., vol. 116, no. 478, VLD2016-128
Published Month: 3
Published Year: 2017
Error-tolerant application, such as image processing, machine learning and so on, is application that can tolerate specific errors, whose frequency and/or severity are within certain limits. This error tolerability is greatly instrumental in simplifying logic circuits for such application. In this paper, we focus on logic simplification problem using permissible functions for error-tolerant application. To solve this problem efficiently, we represent permissible functions with BDDs (Binary Decision Diagrams) and propose heuristic algorithms for solving this problem by utilizing characteristics of the BDD representation. In experiment, we also present a scheme to solve this problem with ILP (Integer Linear Programming) solver and compare the obtained optimum solutions with our results. Experimental results show that the proposed algorithm can derive optimum or quasi-optimal solutions efficiently.