Infinite Debug Traces

Infinite Debug Traces

• An infinite debug trace is specified as a stem and a cycle.
• Both the stem and the cycle are finite sequences of states.

STEM

CYCLE

Previous slide

Next slide

Back to the first slide

View Graphic Version