{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00219178","sets":["6164:6165:7651:10964"]},"path":["10964"],"owner":"44499","recid":"219178","title":["RTL回路に対するファジングを用いたバグ検出の有効性評価"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-08-24"},"_buckets":{"deposit":"e0c6a366-7e1f-466b-9b89-b75a5b34e5f8"},"_deposit":{"id":"219178","pid":{"type":"depid","value":"219178","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"RTL回路に対するファジングを用いたバグ検出の有効性評価","author_link":["571421","571416","571415","571419","571422","571417","571418","571420"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"RTL回路に対するファジングを用いたバグ検出の有効性評価"},{"subitem_title":"Evaluation of Fuzzing for Finding Bugs in RTL Circuits","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"回路設計支援","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2022-08-24","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"国立研究開発法人情報通信研究機構"},{"subitem_text_value":"国立研究開発法人情報通信研究機構"},{"subitem_text_value":"国立研究開発法人情報通信研究機構"},{"subitem_text_value":"国立研究開発法人情報通信研究機構"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"NICT","subitem_text_language":"en"},{"subitem_text_value":"NICT","subitem_text_language":"en"},{"subitem_text_value":"NICT","subitem_text_language":"en"},{"subitem_text_value":"NICT","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/219178/files/IPSJ-DAS2022006.pdf","label":"IPSJ-DAS2022006.pdf"},"date":[{"dateType":"Available","dateValue":"2024-08-24"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-DAS2022006.pdf","filesize":[{"value":"939.0 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"10"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"e13a98c4-bf2d-496f-bb9a-71303d56edfb","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"伊沢, 亮一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"藤原, 吉唯"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"金谷, 延幸"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"井上, 大介"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ryoichi, Isawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yoshitada, Fujiwara","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Nobuyuki, Kanaya","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Daisuke, Inoue","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本研究では RTL（Register Transfer Level）回路に対してフィードバック・ドリブン・ファジングを行い，バグ検出におけるファジングの有効性を評価する．RTL 回路にバグ検出のためのアサーションを埋め込み，シミュレータで動作させながらファジングツール AFL（American Fuzzy Lop）を使用する．既存研究では AFL を用いた RFUZZ が提案されているが，サイクル数とコードカバレッジのみが評価されている．本研究の貢献はバグ検出に要したサイクル数まで含めて AFL の有効性を評価する点にある．一般に公開されている IP（Intellectual Property）コア 10 個に対して AFL とランダム検証を評価したところ，ともに同じ 7 個の IP コアのバグが検出できたが，ランダム検証の方が要したサイクル数は少ない結果となった．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We evaluate how well feeedback-driven fuzzing can find bugs in RTL circuits. In this evaluation, we insert assertions to RTL circuits and run those circuits in simulation, while fuzzing them with AFL (American Fuzzy Lop), a fuzzing tool. Although Kevin Laeufer et al. propose a fuzzing system using AFL named RFUZZ, they only evaluate how efficiently it can raise code coverage of RTL circuits. In addition to this, our contributions is to measure how many simulation cycles AFL takes untils bugs are found. We also evaluate that of a random test pattern generater as a benchmark. With an evaluation using 10 open-sourced IP (Intellectual Property) cores, we confirm that both AFL and a random test pattern generater were able to found a bug in seven IP cores whereas a random test pattern takes less simulation cycles than AFL for finding bugs.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"34","bibliographic_titles":[{"bibliographic_title":"DAシンポジウム2022論文集"}],"bibliographicPageStart":"27","bibliographicIssueDates":{"bibliographicIssueDate":"2022-08-24","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2022"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":219178,"updated":"2025-01-19T14:53:53.703073+00:00","links":{},"created":"2025-01-19T01:19:30.007790+00:00"}