Process Definitions - The HAC Language
Description: The HAC Language

Previous: Process Declarations, Up: Processes

### 5.2 Definitions

A process definition specifies a body in addition to a port specification.

If a process definition is preceded by a declaration with the same name, then the definition's port specification must match those of the prototype, i.e. each port formal instance must be type-equivalent between the declaration and the definition. Likewise, declarations that follow a definition must also declare the same port formal instances.