ハードウェア記述言語におけるプログラム・スライシングの研究

硬件描述语言中的程序切片研究

• 批准号: 08780294
• 负责人: 岩井原 瑞穂
• 金额: $ 0.64万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-08780294/
• 关键词: ハードウェア記述言語; LSI設計; 設計自動化; 設計検証; ソフトウェア工学; プログラムスライシング

ハードウェア記述言語とは,ディジタルシステム設計における仕様記述,設計検証のためのシミュレーション,論理回路合成など,種々の目的に用いられている,いわばハードウェアの高級言語である.現在の複雑化したマイクロプロセッサ開発においては,ハードウェア記述言語は必要不可欠なものとなってきている.今後ハードウェア記述言語のソース形式による設計資産の蓄積が増大するため,これらの設計検証・保守・再利用は重要な問題となるであろう。ソフトウェア工学の分野では,これらの問題に対し,プログラムスライシング(以下,単にスライシング)と呼ばれる手法に基づく研究が多くなされている.ハードウァエ記述言語に対するスライシング技術は幅広い応用は期待できるにもかかわらず,いまだ本格的な研究がなされていない.本年度は以下の成果が得られた.1,標準的なハードウェア記述言語であるVHDLに対するグラフ表現を用いたスライシング・アルゴリスムを開発した.VHDLのプロセス文などを考慮し,記述の構造を有向グラフとして表現し,スライシングはそのグラフ上での探索問題に帰着される.2,スライシング・アルゴリズムの実装を部分的に行ない,いくつかの小規模の記述に適用してみた.信号線の削除/追加などの設計保守の問題について適用し,スライシングにより自動化できる作業が多く見つかった.

A description of language, design, design, logic circuit synthesis, purpose, advanced language, etc. Now, it is necessary to describe the language in the development process. In the future, the accumulation of design assets in the form of description language will increase, and the design certification, conservation and reuse will be important issues. The division of engineering in the field of software development is based on the study of the basic methods of software development. In addition, the research on the application of technology in the field of communication and communication should be carried out in a timely manner. This year, the following results were obtained: 1. Standard VHDL description language, 2. Standard VHDL description language, 3. Standard VHDL description language, 3. Small scale descriptions are applicable. Signal line removal/addition is conservative in design and application, and automation is common.

项目成果

M.Iwaihara and M.Hirafuji.: "Implicit Represenfotions of Graphs by OBDDs and Patricia BDDs" IEICE Trans.Fundamentals. E79-A,No.7. 1068-1078 (1996)

M.Iwaihara 和 M.Hirafuji.：“OBDD 和 Patricia BDD 的图的隐式表示”IEICE Trans.Fundamentals。

M.Nomura・S.Ichinose・M.Iwaihara and H.Yasuura: "Slicing VHDL Descriptions for Design Modification Support" Proc.6th Workshop on Synthesis and System Integration of Mixed Technologies(SASIMI'96). 162-169 (1996)

M.Nomura・S.Ichinose・M.Iwaihara 和 H.Yasuura：“用于设计修改支持的切片 VHDL 描述”Proc.6th 混合技术综合和系统集成研讨会(SASIMI96) (1996)。

一ノ瀬茂・野村雅也・岩井原瑞穂・安浦寛人: "VHDL記述のプログラムスライシングVHDLにおける依存関係とそのグラフ表現" 第9回回路とシステム軽井沢ワークショップ. 377-382 (1996)

Shigeru Ichinose、Masaya Nomura、Mizuho Iwaihara、Hiroto Yasuura：“VHDL 描述的程序切片。VHDL 中的依赖关系及其图形表示”第 9 届电路与系统轻井泽研讨会 (1996)。

廣藤政則・岩井原瑞穂: "演算キャッシュを用いた複合オブジェクトの質問処理" 情報処理学会第53回全国大会. 4R-3. (1996)

Masanori Hirofuji 和 Mizuho Iwaihara：“使用算术缓存的复杂对象的问题处理”日本信息处理学会第 53 届全国会议（1996 年）。