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.

Previous slide Next slide Back to the first slide View Graphic Version