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.