The ACT Language

This document describes the language used by the Asynchronous Circuit Toolkit (ACT).

• Introduction: A brief introduction to the circuit description language, including some simple examples.
• Types: The care and feeding of type definitions.
• Implementation relation: The implementation relation and re-using parts of types.
• Expressions: The syntax of expressions.
• Connections: Wires, connections, aliasing and initialization of meta parameters.
• Control Flow: Looping and IF constructs for circuit construction.
• Namespaces: The care and feeding of namespaces.
• Languages: Various languages, including CHP, PRS, and HSE.