時間に基づく振る舞い

  • out(t) = in(t - 1) で表現される
    • tは現在のタイムユニット
      • クロックの2値信号(tick/tock等)の1周期がタイムユニットとしてモデル化される
    • in, outは入出力値
    • 1つ前のタイムユニットの入力値を出力する