中文 English
Systems & Design
WHITEPAPERS

Exercising State Machines with Command Sequences

Simplify the process of exercising a state machine by generating command sequences

popularity

Almost every non-trivial design contains at least one state machine, and exercising that state machine through its legal states, state transitions, and the different reasons for state transitions is key to verifying the design’s functionality. In some cases, we can exercise a state machine simply as a side-effect of performing normal operations on the design. In other cases, the state machine may be sufficiently complex that we must take explicitly targeted steps to effectively exercise the state machine. In this paper, we will see how inFact’s systematic stimulus generation and ability to generate constraint-aware functional coverage simplify the process of exercising a state machine by generating command sequences.

To read more, click here.



Leave a Reply


(Note: This name will be displayed publicly)