Open Source SPICE for circuit Design and Simulation available with UC Berkeley

List of Software packages available for Electronic Circuits design and simulation,VLSI design and MEMS.


Adore - A technology-independent module generator for Switched-Capacitor (SC) filters
BSIM - physical MOSFET model implemented with SPICE (last updated February 18, 1997)
Cider - A mixed-level circuit and device simulator
Espresso - multi-valued PLA minimization
Diva - A software infrastructure for visualizing and interacting with dynamic information spaces.
Esterel S/R Compiler - An Esterel Compiler for a Synchronous/Reactive Development System (Stephen Edwards)
Magic - interactive VLSI layout system
Octtools - a collection of programs and libraries that together form an integrated system for IC design
Sis - Synthesis of both synchronous and asynchronous sequential circuits ( Prof. Brayton )
Spice - a general-purpose circuit simulator with several built-in semiconductor device models
Sugar - A simulation tool for micro-electromechanical systems (MEMS) ( BSAC Group )
Vis - A system for formal verification, synthesis, and simulation of finite state systems ( Prof. Brayton )
WELD - Web-Based Electronic Design ( Prof. Newton )
DigSim Schematic Editor and Simulator: Modified to Interact with Synopsys Design Compiler Applet   (last updated, June 29, 1999)

Source - UC Berkely
https://ptolemy.berkeley.edu/projects/embedded/pubs/downloads/