{"updated":"2025-01-22T00:05:51.953240+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00069103","sets":["1164:3865:5988:6078"]},"path":["6078"],"owner":"10","recid":"69103","title":["仕様記述言語SpecCによるサイクル精度記述の一試行"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-03-19"},"_buckets":{"deposit":"53705541-4945-46b0-b1b2-96f6c435ed8f"},"_deposit":{"id":"69103","pid":{"type":"depid","value":"69103","revision_id":0},"owners":[10],"status":"published","created_by":10},"item_title":"仕様記述言語SpecCによるサイクル精度記述の一試行","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"仕様記述言語SpecCによるサイクル精度記述の一試行"},{"subitem_title":"Trial Designs by Cycle-Accurate Hardware Description in Specification Description Language","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"システム設計","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2010-03-19","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"立命館大学理工学部／大学院理工学研究科／株式会社シンセシス"},{"subitem_text_value":"株式会社インターデザイン・テクノロジー"},{"subitem_text_value":"株式会社インターデザイン・テクノロジー"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Faculty of Science and Engineering, Ritsumeikan University / Synthesis Corporation","subitem_text_language":"en"},{"subitem_text_value":"InterDesign Technologies, Inc.","subitem_text_language":"en"},{"subitem_text_value":"InterDesign Technologies, Inc.","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/69103/files/IPSJ-MBL10053017.pdf"},"date":[{"dateType":"Available","dateValue":"2012-03-19"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-MBL10053017.pdf","filesize":[{"value":"765.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":"35"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"00d9a8c2-69c3-44bb-9d78-a85f026aefbe","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2010 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"泉, 知論"},{"creatorName":"吉川, 寿広"},{"creatorName":"荒木, 大"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tomonori, Izumi","creatorNameLang":"en"},{"creatorName":"Toshihiro, Kikkawa","creatorNameLang":"en"},{"creatorName":"Dai, Araki","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11851388","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":"システム設計の効率化を求めて，動作記述から回路を自動的に合成する動作合成の技術が実用化されてきており，また，より抽象度の高いシステムレベルの仕様記述言語も提案されている．一方で，高度な最適化のため，あるいは，外部回路とのインターフェースをとるため，サイクル精度のタイミングまで考慮した詳細な設計が求められる場面も依然存在する．仕様記述によるモデリングと検証，ハードウェア化する部分については動作記述からの回路合成，そして必要に応じてサイクル精度記述による最適化，と設計を進めていくにあたって，記述言語や処理系の断絶なく設計レベルを徐々に深めていくことが望ましい．そこで，仕様記述言語 SpecC では 2.0 版でレジスタ転送レベル記述のための言語仕様が追加されている．しかし一般には，シミュレータやシンセサイザなどの処理系が必ずしも言語仕様上可能なすべての記述に対応するわけではない．そこで，Spec-C 2.0 と現在利用可能なシミュレータを対象に，基本的な回路例を取り上げながら，サイクル精度の記述を試行し，記述法を確認していく．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In order to cope with the design of recent huge and complicated systems, higher abstracted design methodologies have been proposed including, behavioral synthesis, hardware-software codesign, specification description languages, etc. However, cycle-accurate design is still needed, to optimize the detailed architecture more deeply, to interface with peripheral hardwares to be coupled tightly, or to import intellectual properties predesigned as cycle-accurate modules. Starting with specification description language, designers will break the target into more detailed ones repeatedly and may use some language and design tools at each level. SpecC was originally proposed as a specification description language and have been enhanced to support RTL (register transfer level) descriptions in order to provide an unified and seamless design environment from specifications to detailed designs. However, there is generally some gap between the ideal language specification and the subset and/or some kind of implicit description rules for each specific tool. This manuscript presents some trial designs in RTL SpecC with a simulator and a synthesizer and proposes a set of description rules for practical and efficient designs.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"7","bibliographic_titles":[{"bibliographic_title":"研究報告モバイルコンピューティングとユビキタス通信（MBL）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2010-03-19","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"17","bibliographicVolumeNumber":"2010-MBL-53"}]},"relation_version_is_last":true,"weko_creator_id":"10"},"created":"2025-01-18T23:28:38.247332+00:00","id":69103,"links":{}}