Dynamic Verification of Approximate Computing Circuits using Coverage-based Grey-box Fuzzing | IEEE Conference Publication | IEEE Xplore