Exploiting "Don't Care" Information
Exploiting "Don't Care" Information
m Detect Invalid States:
Ô In a Moore machine, if a state q produces an invalid output, then q is an invalid state.
Ô In a Mealy machine, if q produces an invalid output vector or an invalid next-state for all input combinations, then q is an invalid state.
m Detect Invalid Edges:
Ô If an edge does not belong to the RTL description's valid input set, it is discarded.