Example: Race-Free State Assignment

a

b

c

a

b

c

00

10

01

required

transition

? Line between states indicates required transition.

? Need assignment such that only one state variable changes during each state transition

a

b

c

00

11

01

a

b

c

00

10

01

d

11

Previous slide

Next slide

Back to first slide

View graphic version