MECALS: A Maximum Error Checking Technique for Approximate Logic Synthesis

Chang Meng,Jiajun Sun,Yuqi Mai,Weikang Qian
DOI: https://doi.org/10.23919/DATE56975.2023.10136950
2023-01-01
Abstract:Approximate computing is an effective computing paradigm to improve energy efficiency for error-tolerant applications. Approximate logic synthesis (ALS) methods are designed to generate approximate circuits under certain error constraints. This paper focuses on ALS methods under the maximum error constraint and proposes MECALS, a maximum error checking technique for ALS. MECALS models maximum error using partial Boolean difference and performs fast error checking with SAT sweeping. Based on MECALS, we design an efficient ALS flow. Our experimental results show that compared to a state-of-the-art ALS method, our flow is 13x faster and improves area and delay reduction by 39.2% and 26.0%, respectively.
What problem does this paper attempt to address?