シグナル一貫性規則
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/07 18:36 UTC 版)
「Esterel」の記事における「シグナル一貫性規則」の解説
各シグナルは、1つのサイクルでは存在するかしないかのどちらかであり、両方ということはない。 ライターはリーダーが動作する前に動作する。 従って present A else emit Aend は間違ったプログラムである(シグナル A が存在しない場合、それをブロードキャストする)。
※この「シグナル一貫性規則」の解説は、「Esterel」の解説の一部です。
「シグナル一貫性規則」を含む「Esterel」の記事については、「Esterel」の概要を参照ください。
- シグナル一貫性規則のページへのリンク