Differences
This shows you the differences between two versions of the page.
| Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
tools:start [2022/05/15 14:02]
rajit |
tools:start [2022/06/24 07: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}} |
| |
| |