Dynamic Verification of Approximate Computing Circuits using Coverage-based Grey-box Fuzzing. - Kazuki Yoshisue; Yutaka Masuda; Tohru Ishihara (IOLTS, 2021)