Differences

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

--- tools:start [2019/05/11 14:52] – rajit
+++ tools:start [2025/05/20 11:52] (current) – rajit
@@ Line 3: / Line 3: @@
 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.
-   * [[prsim|prsim]]: a digital production-rule simulator
-   * [[netgen|netgen]]: a production rule to SPICE netlist generator
+   * [[actsim|actsim]]: an ACT simulator.
+   * [[netgen|prs2net]]: a production rule to SPICE netlist generator
    * [[prs2sim|prs2sim]]: a production rule to sim file converter
-   * aflat and prspack: a production rule flattener and compaction tool. See the documentation for [[prsim|prsim]].
+   * [[ext2sp|ext2sp]]: converts magic extract files into a hierarchical spice file
+   * [[tools:layout:|Layout generation]]
+   * [[lvp|lvp]]: layout versus production rules
+   * [[act2lef|act2lef]]: Generate LEF/DEF from an ACT design
+   * [[act2v|act2v]]: Convert ACT file into a Verilog netlist
+   * [[adepend|adepend]]: Print dependencies of an ACT file
+   * [[chp2prs|chp2prs]]: convert CHP to production rules
+   * [[interact|interact]]: Interactive ACT
+   * [[prs2cells|prs2cells]]: extract ACT cells needed to implement a design
+   * [[v2act|v2act]]: Translate a Verilog netlist into an ACT file
+   * [[asic:timing:xcell:start|xcell]]: Cell library characterizer
+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 [[:stdoptions:start|command-line arguments]], in addition to their own arguments. The standard ACT options include ways to specify technology-specific information, as well as local configuration overrides.
 Standalone tools:
+   * [[prsim|prsim]]: a digital production-rule simulator
+   * aflat and prspack: a production rule flattener and compaction tool. See the documentation for [[prsim|prsim]].
    * [[AMC:|AMC]]: an asynchronous memory compiler
-   * [[ext2sp|ext2sp]]: converts magic extract files into a hierarchical spice file
-   * [[lvp|lvp]]: layout versus production rules
 External open-source tools:
@@ Line 17: / Line 31: @@
    * [[http://opencircuitdesign.com/magic/index.html|magic]]: The Magic VLSI layout editor
    * [[http://opencircuitdesign.com/irsim/index.html|irsim]]: A switch-level circuit simulator
-   * {{ :tools:gemini-2.7.2.tar.gz |Gemini}}: netlist comparison for strict layout-versus-schematic checking
+   * Layout versus schematic (LVS) checking:
+      * Gemini: a netlist comparison for strict layout-versus-schematic checking {{:tools:gemini-2.7.2.tar.gz|Gemini}}
+      * [[http://opencircuitdesign.com/netgen/index.html|netgen]]: another tool for LVS
+Two useful concepts to keep in mind when using the ACT tools are [[intro_example:name_mangling|expanded names and mangled names]].