Using "don't care" in digital state machine?

[andornot]

Hi:

I am trying to use the digital state machine component and received some advice from tech support about how to properly make a state.txt file.  However, the simulation of the state machine freezes when a "don't care" condition is encountered for any of the inputs.  Here is what my state.txt looks like: 

I'm assuming that an "x" represents a "don't care".

Any advice, comments, etc.  Would be greatly appreciated.

[Tien_P]

The digital state machine is a XSPICE model and the 'don't care' condition is not supported by the XSPICE model engine.