• Documentation in tar.gz format   (size = 8K, last update Nov 4, 1992)
• Source Code in tar.gz format   (size = 163K, last update Nov 28, 1992)

BSIM: Physical MOSFET model implemented with SPICE   (last updated February 18, 1997)

Chic: A JBuilder plug-in for checking interface compatibility (Prof. Henzinger)

• Chic 1.1   (last updated Jan 18, 2003)

• Source Code and Documentations in tar.gz format   (size = 1821K, last updated Mar 12, 1994)

Espresso: Multi-valued PLA minimization

• README
• Documentation/Example in tar.gz format   (size = 301K, last updated Jun 27,1993)
• Manual Pages in tar.gz format   (size = 8K, last updated Oct 12,1995)
• Signature File in tar.gz format   (size = 180K, last updated Jun 28, 1993)
• Source in tar.gz format   (size = 180K, last updated Nov 1, 1994)

Esterel S/R Compiler: An Esterel Compiler for a Synchronous/Reactive Development System (Stephen Edwards)

• Documentation
• A watch example to run with Esterel

• Giotto 1.0.1   (last updated October 28, 2004)

MAGIC: Interactive VLSI layout system    (last updated April 24, 1995)

Metropolis: Design Environment for Heterogeneous Systems (Prof. Sangiovanni-Vincentelli)

• Metropolis-1.0.2   (last updated February 17, 2005)

Octtools: A collection of programs and libraries which form an integrated system for IC design    (last updated November, 15, 1991)

Polis: A Framework for Hardware-Software Co-Design of Embedded Systems (Prof. Sangiovanni-Vincentelli)

Ptolemy: Modeling, simulation, and design of concurrent, real-time, embedded systems (Prof. Lee)

• HyVisual Hybrid System Visual Modeler   (last updated March 7, 2005)
• Ptolemy II Heterogeneous Concurrent Modeling and Design in Java   (last updated August 4, 2005)
• Ptolemy Classic Heterogeneous simulation and design environment in C++   (last updated June 12, 1998)
• Ptplot 2D data plotter and histogram tool implemented in Java   (last updated September 25, 2004)
• VisualSense Visual editor and simulator for wireless sensor network system   (last updated August 4, 2005)
• Other Ptolemy Group Software

Sis: Synthesis of both synchronous and asynchronous sequential circuits (Prof. Brayton)

• Sis Questions or Problems?
• README
• README-Solaris
• README-freeBSD
• Documentation   (size = 176K, last updated Jun 1, 1994)
• Examples Files   (size = 6M, last updated Apr 5, 1994)
• Source   (size = 4M, last updated Apr 5, 1994)
• Patch   (size = 85K, last updated Oct 30, 1994)
• Solaris Patch   (size = 30K, last updated Sep 10, 1996)
• freeBSD Patch   (size = 4K, last updated Sep 9, 1996)

Spice: A general-purpose circuit simulator with several built-in semiconductor device models
         Note: UC Berkeley does not provide Spice support.

• Spice3 README

  Spice3f4

  • README for Spice3f4
  • Spice3f4 Kit in tar.gz format   (size = 1224K, last updated Jul 30, 1993)
  • Spice3f4 Patches in tar.gz format   (size = 1K, last updated Jun 17, 1996)

  Spice3f3

  • README for Spice3f3
  • Notes on Spice3f3 for MSDOS in tar.gz format   (size = 1K, last updated Jun 6, 1993)
  • Spice3f3 Kit in tar.gz format   (size = 19K, last updated Jul 30, 1993)
  • Spice3f3.2 Patch in tar.gz format   (size = 1K, last updated May 17, 1993)

  Spice3f2

  • README for Spice3f2
  • Spice3f2-3f3 Kit in tar.gz format   (size = 191K, last updated Jun 6, 1993)

  Spice3e2

  • Postscript Documentation in tar.gz format   (size = 176K, last updated Aug 6, 1991)
  • Bug Fix in tar.gz format   (size = 1K, last updated Apr 5, 1993)
  • Known Bugs in tar.gz format   (size = 1K, last updated May 16, 1992)
  • Spice3e2 Kit in tar.gz format &nbspa (size = 29K, last updated Aug 6, 1991)

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)