Syntax

Each gate is assigned an interface. An interface is a set of signals that are allowed to be sent and received at a gate. An interface is shared among FSMs and must be defined outside any FSM that uses it.

-- Two gates may be connected only if they have the same interface