SAFIRE
 
FSM Types

 

An FSM instance exist only during run time.  To encourage code reuse, the code implementing states or block structure exists in an entity called an "FSM type".  Every FSM has a type.  The structure and behavior of an FSM are fully defined in its FSM type definition.  It is not possible to define an FSM instance directly. 

 

 

FSM Type

 

An SBUS FSM type with 2 gates