CCSに基づく擬似非同期システムモデル
スポンサーリンク
概要
- 論文の詳細を見る
ハードウェア・アルゴリズムがハードウェアとして詳細化される以前に関数的に正しく動作することを確認する場合,事象生起の因果関係に基づいた非同期モデルによる表現が自然である.しかし,実際のシステムは同期システムとして実現されることが多く,同期システムを非同期モデルで解析する場合,同期システムでは考える必要のない状態までも生成し,解析を一層複雑にすることがある.非同期モデルで表現されたハードウェアを解析する場合,同期システムとして実現される点を考慮すると,同期システムでは考える必要のない状態を取り除くことができ,システムの動作解析を簡潔に行える.そこで,本論文では,Milnerによって提案されたCCS(A Calculus of Communicating Systems)の表記法を基本とし,グローバルなクロックの概念を取り入れた新しい非同期モデルを提案する.このモデルでは,計算機システムを非同期的に表現するが,互いに独立な事象はグローバル・クロックに同期して全く同時に起きるものと解釈される.非同期的表現を同期的に解釈するという意味で,本論文で提案するモデルを擬似非同期システムモデル(Pseudo Asynchronous System model : PAS-model)と呼ぶ.本論文では,PAS-modelの表記法,解析規則,解析例を示し,擬似非同期モデルの特徴を明らかにした.
- 一般社団法人情報処理学会の論文
- 1989-01-15
著者
関連論文
- 非同期式プロセッサTITAC-2の論理設計
- 非同期式プロセッサTITAC-2のアーキテクチャ
- BDD表現からの非同期式組合せ回路の構成法
- 非同期式プロセッサTITACの遅延非依存性
- 並列処理粒度可変プロセッサーの一方式
- 非同期式プロセッサTITACの設計と評価
- 非同期式プロセッサTITACのアーキテクチャと回路構成
- 非同期式論理回路の遷移因果律について
- 二相式非同期プロセッサの構成に関する一考察
- 非同期式プロセッサの性能評価の試み
- 正規直交展開を用いた論理回路のテスト容易性に関する一考察
- プロセス代数に基づく非同期式論理回路の設計検証
- CCSに基づく擬似非同期システムモデル
- 高水準設計検証の一方式
- プロセス記述による非同期式制御回路合成システム
- フォールトトレランスを有する階層型ニューラルネットワークとその性質
- 断線に対する耐故障性をもつニューラルネットワークの一構成法
- 内部表現の分散化によるニューラルネットワークの耐故障化の一手法
- 遺伝アルゴリズムによる耐故障ニューラルネットワークの実現
- 階層型ニューラルネットの耐故障性に関する一考察
- パルス駆動型非同期式論理回路のためのレジスタモデル
- パルス論理における非同期式レジスタ間データ転送
- パルス駆動型非同期式回路の基本素子モデルと組合せ論理回路構成
- パルス駆動型非同期式論理ゲートの高マージン化
- 非同期式超伝導論理回路のための基本ゲート
- パルス駆動型非同期式論理回路のゲートモデルと回路形式
- 非同期式プロセッサ制御回路合成の一手法
- 3段実現によるm-out-of-n符号の自己検査性検査回路
- 非同期式プロセッサにおける2線2相式レジスタ間転送の遅延条件
- 2線2相式非同期マスタースレイブ形レジスタの一構成法
- 一般シャノン展開を用いて合成される論理回路に対するテストパターンの生成
- 一般シャノン展開を用いて合成される論理回路の検査容易性
- 共通積項の少ない多出力関数に対する拡張シャノン展開の適用
- BSPモデルによる漸次縮退システムの性能最適化について
- 分散共有メモリにBulk-Synchronous Parallel Model(BSPM)を用いた漸次縮退に関する一考察
- 通信履歴を利用した漸次縮退型並列計算の一方式
- 分散計算システムにおける漸次縮退の一方式
- 高速非同期式プロセッサ設計のための依存性グラフ並列化アルゴリズムの提案
- 非同期式プロセッサ設計のための依存性グラフのパイプライン化アルゴリズム
- 2線2相非同期式組合せ回路の検証容易化手法
- 非同期式論理回路のタイミング信頼性評価についての一考察
- 信号遷移グラフを用いた非同期式回路合成の一方法
- セルフチェッキング論理回路網の一構成法
- 上位動作記述言語から非同期式回路への変換について
- 非同期式回路に適した性能指向レイアウトの一手法
- 非同期式回路に適した性能指向レイアウトの一手法
- 非同期式回路に適した高速化レイアウトの一手法
- On the Importance of Detecting Sites Failures in Mobile Computing Systems
- 相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現
- 相互排他処理機能の依存性グラフ表現とその2相式非同期回路による実現
- 依存性グラフで表現された調停動作の2相式同期回路への変換方法