Question

Use the following pragma to identify the vector signal that holds the current state of the FSM:

/* tool state_vector signal_name */

where tool and state_vector are required keywords. This pragma needs to be specified inside the module definition where the signal is declared.

Another pragma is also required, to specify an enumeration name for the FSM. This enumeration name is also specified for the next state and any possible states, associating them with each other as part of the same FSM.

There are two ways to do this:

• Use the same pragma:

/* tool state_vector signal_name enum enumeration_name */

• Use a separate pragma in the signal’s declaration:

/* tool state_vector signal_name */
reg [7:0] /* tool enum enumeration_name */ signal_name;

In either case, enum is a required keyword; if using a separate pragma, tool is also a required keyword and the pragma needs to be specified immediately after the bit-range of the signal.