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