• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

代数的手法を用いたハードウェアの仕様記述と実現に関する研究

研究課題

研究課題/領域番号 63550275
研究種目

一般研究(C)

配分区分補助金
研究分野 情報工学
研究機関大阪大学

研究代表者

谷口 健一  大阪大学, 基礎工学部, 教授 (00029513)

研究分担者 東野 輝夫  大阪大学, 基礎工学部, 助手 (80173144)
杉山 裕二  岡山大学, 工学部, 教授 (50116050)
研究期間 (年度) 1988
研究課題ステータス 完了 (1988年度)
配分額 *注記
1,700千円 (直接経費: 1,700千円)
1988年度: 1,700千円 (直接経費: 1,700千円)
キーワードハードウェア設計 / 順序回路 / 仕様記述 / 段階的詳細化 / 代数的手法 / 設計支援
研究概要

1.同期式順序回路の仕様を代数的言語で書くときの記述のスタイルを提案した。そのスタイルはいわゆる抽象的順序機械型の記述であり、動作の実行順序制御部は、その動作を行うべきときの条件を指定するという形で記述する。この記述スタイルによって、回路の抽象的な機能の仕様から、バス・レジスタの接続や、既存のIC等を用いた具体レベルにおける入力論理式まで、同じ言語・同じスタイルで記述することができる。検証等の形式的な議論には、形式的・厳密に定義された同一言語による記述が必要である。また、このスタイルに従って、回路の実現や詳細化問題の定式化を行った。
2.マイクロコンピュータとクィックソートIC(後者は日本電子工業振興会のLSI設計用記述言語の標準化の調査研究で用いられたもの)を例題にして、仕様記述・詳細化を行った。前者では、命令の意味定義の記述からレジスタなどの入力線の論理設計まで、後者では、ソーティングの一般的な要求仕様から、クィックソートアルゴリズム採用レベルの記述を経て、同じくレジスタ等の入力論理の設計まで行った。これにより、状態遷移図やレジスタ転送レベルの記述より抽象的なレベルの記述から、論理設計レベルまで段階的に記述できることがわかった。
3.上記2.の記述・設計経験によって、設計者は上位レベルと下位レベルの回路動作の対応のみを孝案し、それを基に下位レベルの実行制御部の記述を自動生成するのが実用的であることがわかった。この自動化の問題は、回路動作を詳細化する一般の場合と入力論理式を導出する具体レベルの二つに分かれる。両者に対してアルゴリズムを孝案し、プログラム化し、我々の代数的記述支援系に組み込み、2.の例の一部に適用してみた。仕様記述及び段階的詳細化に代数的手法の有効性が確認できたが、今後は、検証(正しさの証明)手法の確立が望まれる。

報告書

(1件)
  • 1988 実績報告書
  • 研究成果

    (5件)

すべて その他

すべて 文献書誌 (5件)

  • [文献書誌] 杉山裕二: 電子情報通信学会技術研究報告. COMP88ー7. 61-70 (1988)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 杉山裕二: 京都大学数理解析研究所講究録. 666. 158-167 (1988)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 北道淳司: 情報処理学会 設計自動化研究会報告. 46ー13. 95-102 (1989)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 北道淳司: 電子情報通信学会 情報・システムグループ主催 情報基礎理論セミナー. 71-72 (1989)

    • 関連する報告書
      1988 実績報告書
  • [文献書誌] 北道淳司: 電子情報通信学会 論文誌D.

    • 関連する報告書
      1988 実績報告書

URL: 

公開日: 1988-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi