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

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

• 批准号: 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,スライシング・アルゴリズムの実装を部分的に行ない,いくつかの小規模の記述に適用してみた.信号線の削除/追加などの設計保守の問題について適用し,スライシングにより自動化できる作業が多く見つかった.

硬件描述语言是一种用于硬件的高级语言，用于数字系统设计中的规范描述、设计验证的仿真以及逻辑电路综合等多种目的，硬件描述语言已成为处理器开发中不可或缺的部分。未来，硬件描述语言的源格式的设计资产的积累将会增加，因此这些的设计验证、维护和重用将成为一个重要的问题。在软件工程领域，基于一种称为程序切片（以下简称切片）的方法对这些问题进行了很多研究，尽管针对硬件描述语言的切片技术有望拥有广泛的应用，但它仍然存在。尚未进行认真的研究。今年取得了以下成果： 1．我们开发了一种切片算法，该算法考虑了VHDL过程语句，将描述的结构表示为有向图，并将切片简化为图上的搜索问题。2.我将其应用于几个小规模的描述。将其应用于设计维护问题，例如删除/添加信号线，并发现许多任务可以通过切片自动化。

项目成果

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 年）。