並列実行される動作におけるデータ代入の衝突の判定

• 北道, 淳司

• 森岡, 澄夫

• 東野, 輝夫

• 谷口, 健一

書誌事項

タイトル別名

• A Decision Problem of Collision of Parallel Data Transfer

抄録

ハードウェア記述言語では,複数の動作の並列実行を自然に記述できるものが多い.しかし,複数の動作が同じレジスタ,バス,端子等に異なるデータを転送する(データ代入の衝突)かどうかを判断することは難しい.高信頼という観点からは,データ代入の衝突が起きないことを保証し,その記述から高位合成することが望ましい.本論文では,2.において,同期式順序回路を対象とし,複数動作が実行される順序回路の一モデルを示し,そのモデル上でのデータ代入の衝突を定義する,3.において,衝突が起きないことを検証するアルゴリズムを与える.

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第47回 (ハードウェア), 123-124, 1993-09-27

詳細情報

• CRID: 1050011097175308416
• NII論文ID: 110002885015
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00125053/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles