最初のページ 戻る 次へ 最後のページ

(2)現在の状態に着目して記述する方法

always @(x or currentState)

begin

case (currentState)

S0 : ...

S1 : ...

S2 : ...

S3 : …

default :...

endcase

end

S0

S3

S1

S2

01/0

00/0

1x/0

00/1

01/0

00/0

01/1

00/1

1x/1

01/1

1x/1

1x/0

currentStateの

取り得る状態で

分岐