This is an old revision of the document!


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.
  • 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.
  • Errors and Warnings: Errors and warnings printed by the ACT library.