{"created":"2022-05-13T06:22:18.434331+00:00","id":2002734,"links":{},"metadata":{"_buckets":{"deposit":"cd6749c3-49c9-4694-a5f4-a91a5c1e4fba"},"_deposit":{"created_by":17,"id":"2002734","owner":"17","owners":[17],"owners_ext":{"displayname":"repository","username":"repository"},"pid":{"revision_id":0,"type":"depid","value":"2002734"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:02002734","sets":["312:598:599"]},"author_link":[],"control_number":"2002734","item_1615768549627":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"item_9_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2021-07","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"7","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)","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 paper proposes a novel dynamic verification methodology of the AC circuit. The key idea of the proposed methodology 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 methodology additionally embeds the Design Under Test (DUT) mechanisms into the calculation part of computational quality. Thanks to the integration of CGF and DUT mechanism, 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 methodology and the random test. In a case study of an approximate multiply-accumulate (MAC) unit, we experimentally confirmed that the proposed methodology achieves the target coverage three times faster than the random test.","subitem_description_language":"en","subitem_description_type":"Abstract"},{"subitem_description":"IOLTS 2021. June 28-30, 2021. Torino, Italy (Virtual)","subitem_description_language":"en","subitem_description_type":"Other"}]},"item_9_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"IEEE","subitem_publisher_language":"en"}]},"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.1109/IOLTS52814.2021.9486690","subitem_relation_type_select":"DOI"}},{"subitem_relation_type":"isPartOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"978-1-6654-3371-6","subitem_relation_type_select":"ISBN"}}]},"item_9_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"“© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.”","subitem_rights_language":"en"}]},"item_9_source_id_7":{"attribute_name":"収録物識別子","attribute_value_mlt":[{"subitem_source_identifier":"1942-9398","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":"Yoshisue, Kazuki","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Masuda, Yutaka","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":"2022-05-13"}],"displaytype":"detail","filename":"IOLTS_Yoshisue_submit.pdf","filesize":[{"value":"272 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/2002734/files/IOLTS_Yoshisue_submit.pdf"},"version_id":"db11dcc1-27e3-420f-b425-9f81d70a7a77"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"conference paper","resourceuri":"http://purl.org/coar/resource_type/c_5794"}]},"item_title":"Dynamic Verification of Approximate Computing Circuits using Coverage-based Grey-box Fuzzing","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Dynamic Verification of Approximate Computing Circuits using Coverage-based Grey-box Fuzzing","subitem_title_language":"en"}]},"item_type_id":"40001","owner":"17","path":["599"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2022-05-13"},"publish_date":"2022-05-13","publish_status":"0","recid":"2002734","relation_version_is_last":true,"title":["Dynamic Verification of Approximate Computing Circuits using Coverage-based Grey-box Fuzzing"],"weko_creator_id":"17","weko_shared_id":-1},"updated":"2023-01-16T04:28:08.771172+00:00"}