{"updated":"2025-01-22T18:46:24.499221+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00026959","sets":["1164:2036:2043:2048"]},"path":["2048"],"owner":"1","recid":"26959","title":["即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2007-01-18"},"_buckets":{"deposit":"17f84171-fabd-4eeb-9ff3-e0ca13cb083e"},"_deposit":{"id":"26959","pid":{"type":"depid","value":"26959","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法"},{"subitem_title":"Model Checking of Cycle Accurate Hardware Behavior Models with Instantaneous Communication","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2007-01-18","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院情報科学研究科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Dept. of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Dept. of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Dept. of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Dept. of Information Science and Technology, Osaka University","subitem_text_language":"en"},{"subitem_text_value":"Dept. of Information Science and Technology, Osaka University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/26959/files/IPSJ-SLDM07128014.pdf"},"date":[{"dateType":"Available","dateValue":"2009-01-18"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SLDM07128014.pdf","filesize":[{"value":"489.9 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":"9c99f3f0-7c80-4648-ab98-882d926fb362","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2007 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"藤田, 裕久"},{"creatorName":"濱田, 雅彦"},{"creatorName":"谷本, 匡亮"},{"creatorName":"中田, 明夫"},{"creatorName":"東野, 輝夫"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hirohisa, FUJITA","creatorNameLang":"en"},{"creatorName":"Masahiko, HAMADA","creatorNameLang":"en"},{"creatorName":"Tadaaki, TANIMOTO","creatorNameLang":"en"},{"creatorName":"Akio, NAKATA","creatorNameLang":"en"},{"creatorName":"Teruo, HIGASHINO","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11451459","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ハードウェアには配線遅延があるためクロック周波数の向上に限界がある。そこで、実行時間削減を目的としてクロックサイクルを消費しない即時通信がしばしば用いられる。そのような通信を行うサイクル精度動作記述には、組み合わせ回路としての閉路が発生することに起因する値の発振や発散の可能性といった難しさがある。そこで、本論文では wire による即時通信を行うサイクル精度動作記述モジュール群に発振や発散の問題が生じるか否か等を、モデル検査によって検証する手法を提案する。実験では上述した問題の発生を含んだ簡単なテストケース群に対して提案手法を適用し、その有効性を確認した。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Wiring delay imposes a limitation on increase of clock frequency. Therefore, instantaneous communications consuming no clock cycles are sometimes used. Cycle accurate behavior models allowing such communications have a problem of oscillation and divergence in variable values caused by combinational loops. In this paper, we propose a model checking method of cycle accurate behavior models including instantaneous communications of wire. Proposed method can detect the occurrence of oscillation, divergence and other problems like access conflict. In the experiments, we confirmed the effectiveness of our method using several simple test cases.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"84","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告システムLSI設計技術（SLDM）"}],"bibliographicPageStart":"79","bibliographicIssueDates":{"bibliographicIssueDate":"2007-01-18","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2(2007-SLDM-128)","bibliographicVolumeNumber":"2007"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:57:26.463253+00:00","id":26959,"links":{}}