Robust design

• What if our design starts in a 111 state?

Can the counter get

stuck in invalid states?

We must design the counter

to escape invalid states

Previous slide

Next slide

Back to first slide

View graphic version