| AC |
Analog CAD |
(Prof. Sangiovanni-Vincentelli) |
| ASVES |
Analysis, Synthesis, Verification of Electronic Systems |
(Prof. Sangiovanni-Vincentelli) |
| BSIM |
Physical MOSFET model implemented with SPICE |
(Prof. Hu) |
| BLAST |
Berkeley Lazy Abstraction Software Verification Tool |
(Prof. Henzinger) |
| Chic |
A JBuilder plug-in for checking interface compatibility |
(Prof. Henzinger) |
| Diva |
Dynamic Interactive Visualization |
(Profs. Lee and Newton) |
| DS |
Distributed Simulation |
(Prof. Sangiovanni-Vincentelli) |
| Giotto |
A time-triggered language for real-time programming |
(Prof. Henzinger) |
| HHRECO |
An Adaptive Multi-stroke Symbol Recognition System |
(Prof. Newton) |
| HSIS |
Hierarchical Sequential Interactive Synthesis |
(Prof. Brayton) |
| HyTech |
The HYbrid TECHnology Tool |
(Prof. Henzinger) |
| MAGIC |
Interactive VLSI layout system |
(Prof. Ousterhout) |
| MESCAL |
Modern Embedded Systems, Compilers, Architectures and Languages |
(Prof. Keutzer) |
| Metropolis
|
Design Environment for Heterogeneous Systems |
(Prof. Sangiovanni-Vincentelli) |
| Mocha |
Exploiting Modularity in Model Checking |
(Prof. Henzinger) |
| MVSIS |
Multi-valued logic synthesis |
(Prof. Brayton) |
| NDAM |
Non-Deterministic Abstract Machines |
(Prof. Newton) |
| Octtools |
Integrated system for IC design |
(Prof. Newton) |
|
| PicoRadio
|
Ultra Low-Energy Wireless Sensor Nodes
| (Prof. Rabaey) |
| POLIS |
Hardware-Software Codesign Framework for Embedded Systems |
(Prof. Sangiovanni-Vincentelli) |
| Ptolemy |
Modeling, simulation, and design of concurrent, real-time, embedded systems |
(Prof. Lee) |
| SIS |
Sequential Interactive Synthesis |
(Prof. Brayton) |
| SoftWalls |
Preventing the Use of Commercial Aircraft as Weapons |
(Prof. Lee) |
| Spice |
A general-purpose circuit simulator |
(Prof. Pederson) |
| VIS |
Verification Interacting with Synthesis |
(Prof. Brayton) |
| WELD |
Web-Based Electronic Design |
(Prof. Newton) |
| xGiotto |
Fixed Logical Execution Time Language |
(Prof. Henzinger) |
