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

Chang Meng, Hanyu Wang, Yuqi Mai, Weikang Qian, Giovanni De Micheli

Browse the full DATE paper archive.