Differences

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

Link to this comparison view

Both sides previous revision Previous revision
tools:start [2022/05/15 14:03]
rajit
tools:start [2022/06/24 07:07] (current)
rajit
Line 4: Line 4:
  
    * [[prsim|prsim]]: a digital production-rule simulator.    * [[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    * [[netgen|prs2net]]: a production rule to SPICE netlist generator
    * [[prs2sim|prs2sim]]: a production rule to sim file converter    * [[prs2sim|prs2sim]]: a production rule to sim file converter