Syntax

 

This chapter defines finite state machines (FSMs) in the context of the SAFIRE language and runtime environment.  Vital concepts such as FSM, state and signal are introduced.

 

 

In SAFIRE there is a sharp distinction between the external interface of an FSM and its internal implementation.  This makes it possible to create reusable FSMs that can be used in many applications.  Also, the internal implementation of an FSM can be improved and extended without breaking compatibility, as long as the external interface is preserved. Therefore, this chapter is divided into two sections, one describing the external interface of FSMs including.

--Signals

--Gates

--Interfaces

--Connections

--Parameters

--Data Types

The other section describes the FSMs internal behavior

--States

--Input Symbols

--Input Constraints

--Default Behavior

--Block FSM Structure

--FSM Types

--Instances

--Variables