VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting

Chang Meng,Hanyu Wang,Yuqi Mai,Weikang Qian,Giovanni De Micheli
DOI: https://doi.org/10.23919/date58400.2024.10546819
2024-01-01
Abstract:Approximate computing is an effective computing paradigm to reduce area, delay, and power for error-tolerant applications. Average error is a widely-used metric for approximate circuits, measuring the average deviation between the outputs of exact and approximate circuits. This paper proposes VACSEM, a formal method to verify average errors in approximate circuits using simulation-enhanced model counting. VACSEM leverages circuit structure information and logic simulation to speed up verification. Experimental results show that VACSEM is on average 35x faster than the state-of-the-art method.
What problem does this paper attempt to address?