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
history:start [2024/06/20 13:03] rajithistory:start [2025/08/03 22:18] (current) – [Language development] rajit
Line 1: Line 1:
 ====== Language history ====== ====== Language history ======
  
-This is a rough chronology of the development/evolution of ACT and influences from the literature.+This is a rough chronology of the influences from the literature on the ACT language.
    
    * 1975 E.W. Dijkstra's paper on a guarded command language appears in CACM    * 1975 E.W. Dijkstra's paper on a guarded command language appears in CACM
Line 8: Line 8:
    * 1988-89: The [[https://authors.library.caltech.edu/26709/2/postscript.pdf|first asynchronous microprocessor]] was designed and fabricated at Caltech.    * 1988-89: The [[https://authors.library.caltech.edu/26709/2/postscript.pdf|first asynchronous microprocessor]] was designed and fabricated at Caltech.
  
-Language development:+===== Language development ===== 
 + 
 +This is a rough chronology of the development/evolution of ACT upto the current version of the language.
  
    * ~1991 (?), a language for hierarchical production rules was developed at Caltech (A.J. Martin's group) based on their experience with designing the first asynchronous microprocessor. This was dubbed "CAST" for Caltech Asynchronous Synthesis Tools. A snippet of a circuit in this language is shown below:    * ~1991 (?), a language for hierarchical production rules was developed at Caltech (A.J. Martin's group) based on their experience with designing the first asynchronous microprocessor. This was dubbed "CAST" for Caltech Asynchronous Synthesis Tools. A snippet of a circuit in this language is shown below:
Line 51: Line 53:
    * 2011, initial template for the core language based on ACT v0 developed    * 2011, initial template for the core language based on ACT v0 developed
    * 2012, Intel acquires Fulcrum Microsystems, as well as the version of the CAST tools developed by Fulcrum.    * 2012, Intel acquires Fulcrum Microsystems, as well as the version of the CAST tools developed by Fulcrum.
-   * 2017, actual implementation of the new features started at Yale with a fresh implementation of the entire system. +   * 2017, actual implementation of the new features started at Yale (Manohar moved from Cornell to Yale in 2017) with a fresh implementation of the entire system. 
-   * 2018, Most features of ACT v1 ready. The example above would be defined as follows:+   * 2018, Most features of ACT v1 ready. DARPA provides support for the development of new open-source tools using ACT. The example above would be defined as follows:
 <code act> <code act>
 defproc f (bool? a) defproc f (bool? a)
Line 65: Line 67:
    * 1/2019, first [[http://github.com/asyncvlsi/act|open-source release]]    * 1/2019, first [[http://github.com/asyncvlsi/act|open-source release]]
    * 4/2019, documentation effort initiated    * 4/2019, documentation effort initiated
 +
 +===== Current language features =====
 +
 +Evolution of ACT Language features (current version):
 +
 +  * 1/2019: support for production rules and netlist generation, replicating the baseline functionality of ACT v0
 +  * 1/2021: support for CHP simulation
 +  * 1/2022: support for mixed-signal simulation with ''Xyce''
 +  * 1/2023: trace file generation during simulation
 +  * 1/2024: support for structures
 +  * 1/2025: support for methods
 +  * 6/2025: support for SDF back-annotation in simulation and multi-driver production rules
 +  * 8/2025: support for interfaces with methods