This is an old revision of the document!
Tools
In addition to the core ACT library, we have also implemented a number of tools for asynchronous circuit design. Some of the core tools are included as part of the main Github repository, while others have their own repository. For completeness, we also include links to other open-source tools that can be used to implement different parts of the VLSI flow.
- actsim: an ACT simulator.
- prs2net: a production rule to SPICE netlist generator
- prs2sim: a production rule to sim file converter
- ext2sp: converts magic extract files into a hierarchical spice file
- lvp: layout versus production rules
These are core ACT tools–i.e. tools that use the core ACT library and take ACT files as input. They also accept the standard ACT command-line arguments, in addition to their own arguments.
Standalone tools:
- prsim: a digital production-rule simulator
- aflat and prspack: a production rule flattener and compaction tool. See the documentation for prsim.
- AMC: an asynchronous memory compiler
External open-source tools: