• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 08780294
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionKyushu University

Principal Investigator

岩井原 瑞穂  九州大学, 大学院・システム情報科学研究科, 助教授 (40253538)

Project Period (FY) 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1996: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywordsハードウェア記述言語 / LSI設計 / 設計自動化 / 設計検証 / ソフトウェア工学 / プログラムスライシング
Research Abstract

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

Report

(1 results)
  • 1996 Annual Research Report
  • Research Products

    (4 results)

All Other

All Publications (4 results)

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

    • Related Report
      1996 Annual Research Report
  • [Publications] M.Iwaihara and M.Hirafuji.: "Implicit Represenfotions of Graphs by OBDDs and Patricia BDDs" IEICE Trans.Fundamentals. E79-A,No.7. 1068-1078 (1996)

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

    • Related Report
      1996 Annual Research Report
  • [Publications] 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)

    • Related Report
      1996 Annual Research Report

URL: 

Published: 1996-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi