Up/Down Counter-Escaping from redundant states

[reece]

I am designing a Up/Down Gray code counter that has two redundant don't care conditions.

The problem is I have no idea how to ensure the counter escapes from the redundant states. How do I work out where the redundant states should point too?

 

[waht]

You could point them to zero, or the last state.

 

[reece]

thanks I have them pointing to the first state.