Courses
Computer-Aided Design
EECS219B -
Logic Synthesis and Verification
(
Prof. Andreas Kuehlmann
)
Project: Local ODC-based SAT Sweeping
- Preliminary Implementation; Experiments
EECS219C -
Computer-Aided Verification
(
Prof. Sanjit Seshia
)
Project: SAT Sweeping with Local Observability Don't Cares
- Implementing in OpenAccess Environment; Applications
EE249 -
Design of Embedded Systems
(
Prof. Alberto Sangiovanni-Vincentelli
)
Project: On-Chip Networks Power Modeling and Simulation
EE290A -
Physical Synthesis
(
Prof. Andreas Kuehlmann
)
Project: Partitioning and Placement for Voltage Island Design
EE290N -
Advanced Topics in Systems Theory
(
Prof. Edward Lee
)
Project: Platform-based Design Flow for Kahn Process Networks
Computer Systems and Theory
CS252 -
Computer Architecture
(
Prof. John Kubiatowicz
)
Project: CPU Modeling
CS270 -
Combinatorial Algorithms and Data Structures
(
Prof. Satish Rao
)
Project: SAT-based Technology Mapping
Statistics
STAT204 -
Probability for Applications
(
Prof. David Aldous
)
STAT243 -
Statistical Computing
(
Prof. Phil Spector
)
CS281A -
Statistical Learning Theory
(
Prof. Michael Jordan
)
Project: Statistical Mapping in Platform-based Design
Other
Engr298A -
The Entrepreneurial Business of Software
(
Prof. Kurt Keutzer
)
LANGPRO100A - Language Proficiency Workshop
PE2 - Low Intermediate Tennis
Back to home
Updated: 1/9/2008