Accurate Reliability Boundary Evaluation of Approximate Arithmetic Circuit

作     者：Wang, Zhen Zhang, Guofa Liu, Peng Ye, Jing Jiang, Jianhui 

作者机构：Shanghai Univ Elect Power Sch Comp Sci & Technol Shanghai 200090 Peoples R China Guangdong Univ Technol Sch Comp Guangzhou 510006 Peoples R China Chinese Acad Sci Inst Comp Technol Beijing 100190 Peoples R China Tongji Univ Sch Software Engn Shanghai 200092 Peoples R China 

出 版 物：《IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS》 (IEEE Trans Very Large Scale Integr VLSI Syst)

年 卷 期：2022年第30卷第10期

页      面：1507-1518页

核心收录：

学科分类：0808[工学-电气工程] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：National Natural Science Foundation of China Natural Science Foundation of Shanghai [20ZR1455900] State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences [CARCHA202005] 

主　　题：Reliability Integrated circuit reliability Integrated circuit modeling Circuit faults Adders Correlation Arithmetic Approximate arithmetic circuit (AAC) correlation coefficient heuristic search algorithm reliability boundary signal reliability 

摘      要：Approximate arithmetic circuit (AAC) has emerged as a promising high-performance and energy-efficient circuit paradigm, which can be used in many applications with inherent error tolerance. To guarantee the usability of AACs and the availability of resilient applications, it is necessary to analyze the reliability of AACs. Most current literature focus on the error characteristics of AACs and few methods can be applied to estimate the reliability of AACs. These methods mostly have exponential time complexities and evaluate the average reliability assuming the input combinations are equally likely. In reality, the primary input (PI) signals can be given with any probability from 0 to 1. In this article, we assume that the PIs have random signal probabilities and propose approaches to reliability boundary estimation for AACs. First, we propose a new efficient and accurate method to evaluate the reliability of AACs. The method mainly calculates the AAC reliability for an input vector set, and furthermore, during the calculation, the correlation problem is considered to increase accuracy. Then, based upon the proposed AAC reliability evaluation method, we present the approaches to finding the reliability boundary. Randomly given signal probabilities of every PI, two heuristic search algorithms are utilized to find the lowest reliability. A comparison of the results on three series of AACs and the circuits in the EvoApprox8b library confirms that the proposed reliability evaluation method is more accurate and efficient than the previous method. Further experiments verify the plausibility of the calculated reliability boundary of AACs.