Critical-Race-Free State Assignmentvia Shared-Row Assignments

00 01 11 10

a 1 2 5 4

b 7 2 3 10

c 1 8 3 4

d 7 8 5 4

e 1 9 5 6

f 11 8 3 6

? Required transitions:
col 00: e,c -> a; d->b

col 01: a->b; c,f->d
col 11: b,f->c; a,d->e
col 10: a,c->d; e->f

Previous slide

Next slide

Back to first slide

View graphic version