This is the implementation of the ACT hardware description language. (ACT = asynchronous circuit/compiler tools)
More detailed documentation is available here: http://avlsi.csl.yale.edu/act/
Installation instructions are available here: http://avlsi.csl.yale.edu/act/doku.php?id=install