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
  • Connections: Wires, connections, aliasing and initialization of meta parameters.
  • Expressions: The syntax of expressions, including defining functions in ACT as well as externally defined functions.
  • Control Flow: Looping and IF constructs for circuit construction.
  • Debugging Support: Assertions and logging
  • Namespaces: The care and feeding of namespaces.
  • Sublanguages: Various hardware description sub-languages within ACT, including CHP, PRS, and HSE.