Enumeration of State Transition Graph

Enumeration of State Transition Graph

m Generalized PODEM-based approach

m Paths from the reset state are enumerated dynamically for the first automaton and simulated on the second automaton.

m Only a single path through the STG need be stored at any time.

m Makes extensive use of "don't care" information to improve performance.

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