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
  • Basic types: The care and feeding of basic type definitions and arrays.
  • User defined types: Defining processes, data types, and channels.
  • Implementation relation: The implementation relation and re-using parts of types.
  • Constructors for types: Implementing types using other 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.