Differences

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

--- tools:start [2022/05/15 18:03] – rajit
+++ tools:start [2022/06/24 11:07] – rajit
@@ Line 4: / Line 4: @@
    * [[prsim|prsim]]: a digital production-rule simulator.
-   * [[actsim|actsim]]: a CHP simulator.
+   * [[actsim|actsim]]: an ACT simulator.
    * [[netgen|prs2net]]: a production rule to SPICE netlist generator
    * [[prs2sim|prs2sim]]: a production rule to sim file converter
@@ Line 20: / Line 20: @@
    * [[http://opencircuitdesign.com/magic/index.html|magic]]: The Magic VLSI layout editor
    * [[http://opencircuitdesign.com/irsim/index.html|irsim]]: A switch-level circuit simulator
-   * Gemini: a netlist comparison for strict layout-versus-schematic checking ({{ :tools:gemini-2.7.2.tar.gz |Gemini}})
+   * Gemini: a netlist comparison for strict layout-versus-schematic checking {{:tools:gemini-2.7.2.tar.gz|Gemini}}