Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
| tools:start [2022/05/15 18:02] – rajit | tools:start [2022/06/24 11:07] – rajit |
|---|
| |
| * [[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 |
| * [[http://opencircuitdesign.com/magic/index.html|magic]]: The Magic VLSI layout editor | * [[http://opencircuitdesign.com/magic/index.html|magic]]: The Magic VLSI layout editor |
| * [[http://opencircuitdesign.com/irsim/index.html|irsim]]: A switch-level circuit simulator | * [[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 | * Gemini: a netlist comparison for strict layout-versus-schematic checking {{:tools:gemini-2.7.2.tar.gz|Gemini}} |
| |
| |