著者

北道 淳司 森岡 澄夫 東野 輝夫 谷口 健一

雑誌

全国大会講演論文集

巻号頁・発行日

vol.47, pp.123-124, 1993-09-27

---

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