Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
start [2024/07/11 14:52] – [ACT language] rajitstart [2025/01/23 10:01] (current) – [Installation] rajit
Line 16: Line 16:
       * [[install|ACT]]: use this if you only want the core language and some basic tools for custom circuit design. The [[install_actflow|actflow build]] installs this repository as well.       * [[install|ACT]]: use this if you only want the core language and some basic tools for custom circuit design. The [[install_actflow|actflow build]] installs this repository as well.
  
 +We also have a [[summer2024:dockersetup|docker container]] that contains the tools, if you'd like to try them out without installing them on your system.
 ===== ACT language ===== ===== ACT language =====
  
Line 26: Line 27:
  
 ===== ACT library ===== ===== ACT library =====
 +
 +In addition to the core language, we also provide some standard ACT libraries that include common definitions/etc. for designing asynchronous circuits.
  
   * [[stdlib:|Standard library]]   * [[stdlib:|Standard library]]
   * [[sim:|Simulation library]], installed together with [[tools:actsim|actsim]]; It provides tools for simulation and verification   * [[sim:|Simulation library]], installed together with [[tools:actsim|actsim]]; It provides tools for simulation and verification
 +
 +For those interested in writing tools, we have some documentation available for the core ACT library and data structures.
 +
   * [[http://avlsi.csl.yale.edu/act_docs/|Using the ACT library]] (work in progress!)   * [[http://avlsi.csl.yale.edu/act_docs/|Using the ACT library]] (work in progress!)
   * [[guide:|Guide to using ACT data structures]]   * [[guide:|Guide to using ACT data structures]]
 +  * [[guide:makefile|Guide to using the standard Makefiles in ACT]]
 ===== Tools ===== ===== Tools =====