{"created":"2023-03-06T04:10:00.537170+00:00","id":2004935,"links":{},"metadata":{"_buckets":{"deposit":"d3382869-1f62-4793-9b8e-c7caf96c4ec7"},"_deposit":{"created_by":94,"id":"2004935","owner":"94","owners":[94],"pid":{"revision_id":0,"type":"depid","value":"2004935"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:02004935","sets":["312:313:314"]},"author_link":[],"item_1615768549627":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_9_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2023-03-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicPageEnd":"522","bibliographicPageStart":"514","bibliographicVolumeNumber":"E106A","bibliographic_titles":[{"bibliographic_title":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences","bibliographic_titleLang":"en"}]}]},"item_9_description_4":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"Approximate computing (AC) has recently emerged as a promising approach to the energy-efficient design of digital systems. For realizing the practical AC design, we need to verify whether the designed circuit can operate correctly under various operating conditions. Namely, the verification needs to efficiently find fatal logic errors or timing errors that violate the constraint of computational quality. This work focuses on the verification where the computational results can be observed, the computational quality can be calculated from computational results, and the constraint of computational quality is given and defined as the constraint which is set to the computational quality of designed AC circuit with given workloads. Then, this paper proposes a novel dynamic verification framework of the AC circuit. The key idea of the proposed framework is to incorporate a quality assessment capability into the Coverage-based Grey-box Fuzzing (CGF). CGF is one of the most promising techniques in the research field of software security testing. By repeating (1) mutation of test patterns, (2) execution of the program under test (PUT), and (3) aggregation of coverage information and feedback to the next test pattern generation, CGF can explore the verification space quickly and automatically. On the other hand, CGF originally cannot consider the computational quality by itself. For overcoming this quality unawareness in CGF, the proposed framework additionally embeds the Design Under Verification (DUV) component into the calculation part of computational quality. Thanks to the DUV integration, the proposed framework realizes the quality-aware feedback loop in CGF and thus quickly enhances the verification coverage for test patterns that violate the quality constraint. In this work, we quantitatively compared the verification coverage of the approximate arithmetic circuits between the proposed framework and the random test. In a case study of an approximate multiply-accumulate (MAC) unit, we experimentally confirmed that the proposed framework achieved 3.85 to 10.36 times higher coverage than the random test.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_9_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会","subitem_publisher_language":"ja"}]},"item_9_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.1587/transfun.2022VLP0002","subitem_relation_type_select":"DOI"}}]},"item_9_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright(C)2023 IEICE","subitem_rights_language":"en"}]},"item_9_source_id_7":{"attribute_name":"収録物識別子","attribute_value_mlt":[{"subitem_source_identifier":"0916-8508","subitem_source_identifier_type":"PISSN"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"MASUDA, Yutaka","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"HONDA, Yusei","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"ISHIHARA, Tohru","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_access","date":[{"dateType":"Available","dateValue":"2023-03-06"}],"displaytype":"detail","filename":"Masuda_IEICE.pdf","filesize":[{"value":"2.2 MB"}],"format":"application/pdf","url":{"objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/2004935/files/Masuda_IEICE.pdf"},"version_id":"d3e2c829-eaf9-41f9-96dd-f2892fdf43b2"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"approximate computing (AC)","subitem_subject_scheme":"Other"},{"subitem_subject":"coverage-based grey-box fuzzing (CGF)","subitem_subject_scheme":"Other"},{"subitem_subject":"design under verification (DUV) integration","subitem_subject_scheme":"Other"},{"subitem_subject":"verification","subitem_subject_scheme":"Other"},{"subitem_subject":"computational quality","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Dynamic Verification Framework of Approximate Computing Circuits using Quality-Aware Coverage-Based Grey-Box Fuzzing","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Dynamic Verification Framework of Approximate Computing Circuits using Quality-Aware Coverage-Based Grey-Box Fuzzing","subitem_title_language":"en"}]},"item_type_id":"40001","owner":"94","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2023-03-06"},"publish_date":"2023-03-06","publish_status":"0","recid":"2004935","relation_version_is_last":true,"title":["Dynamic Verification Framework of Approximate Computing Circuits using Quality-Aware Coverage-Based Grey-Box Fuzzing"],"weko_creator_id":"94","weko_shared_id":-1},"updated":"2023-03-06T04:16:29.570073+00:00"}