...
机译:Dynamic Verification Framework of Approximate Computing Circuits using Quality-aware Coverage-based Grey-box Fuzzing
Graduate School of Informatics, NagoyaUniversity, Nagoya-shi, 464-0814 Japan;
School of Informatics,NagoyaUniversity,Nagoya-shi, 464-0814 Japan;
Approximate Computing (AC); Coverage-based Grey-box Fuzzing (CGF); Design Under Verification (DUV) integration; verification; computational quality;