非同期回路
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/03 20:59 UTC 版)
「Guarded Command Language」の記事における「非同期回路」の解説
GCLでは、異なるコマンドの選択による様々な遅延を許容した繰り返しが可能であるため、QDIモデル（Quasi Delay Insensitive）に基づいた回路設計に適している。この場合、以下のようにノード y を駆動する論理ゲートは2つのガード付きコマンドで表現される。 P u l l d o w n G u a r d → y := 0 {\displaystyle PulldownGuard\rightarrow y:=0} P u l l u p G u a r d → y := 1 {\displaystyle PullupGuard\rightarrow y:=1} PulldownGuard と PullupGuard はその論理ゲートの入力の関数であり、それぞれゲートの出力を上げたり下げたりする。古典的な回路評価モデルとは異なり、（非同期回路に対応した）ガード付きコマンド群の繰り返しは、正確にその回路の全ての動的振る舞いを説明できる。モデルによっては、ガード付きコマンドに何らかの制限を加える必要があるだろう。典型的な制限としては、安定性、非干渉、自己無効化コマンドを許さない、などがある。
※この「非同期回路」の解説は、「Guarded Command Language」の解説の一部です。
「非同期回路」を含む「Guarded Command Language」の記事については、「Guarded Command Language」の概要を参照ください。
ウィキペディア小見出し辞書の「非同期回路」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 非同期回路のページへのリンク
