Introduction

 People

 Research themes:

   Embedded Systems

   Hybrid Systems

   Deep Submicron

   Logic Synthesis

 Other links:

   EE249

   CHESS

   GSRC

   BWRC

Analysis, Synthesis, Verification of Electronic Systems
Overview
Group information  
Group name asves
Title Analysis, Synthesis, Verification of Electronic Systems
Summary Analysis, Synthesis, Verification of Electronic Systems
Description This web page summarizes the research carried out by the group of graduate students, post docs and visitors coordinated by Professor Alberto Sangiovanni Vincentelli, one of the founding members of the Berkeley CAD group.
Group type Software project Special interest group Administrative group
People involved in this group  
Administrators Christopher Brooks cxh cxh@eecs.berkeley.edu
Trevor Meyerowitz tcm
Qi Zhu zhuqi
Members Christopher Brooks cxh cxh@eecs.berkeley.edu
Trevor Meyerowitz tcm
Qi Zhu zhuqi
Group configuration  
Configuration options Is enabled Has members Has administrator
Fancy HTML Fix HTML Is searchable
Is advertised
Workspace options Home page Discussion forum Private forum
FAQ Member mail list Member notification list
Developer mail list VC mail list Public interest list
Public announce list VC module Bugs
Calendar src directory Notify Developers
Wiki Application Form Show Publications
HTML authoring None VC checkin
You are not logged in 
Contact 
©2002-2017 U.C. Regents