Workspaces
----
apbd
asves
asvpapers
bear
blast
caltrop
cases
concurrency
cosi
dif
diva
dopcenter
dopresence
dopsysadmin
eecsx44
elab
embedded
embeddedadmin
giotto
hyinfo
m2t2
mescal
metropolis
mica
mobies
msgadmin
murieh
mvsis
nephest
ransom
recons
robosysadmin
savg
sec
seminar
smartnets
video
webmaster
Note:
JavaScript is disabled
, see the
Site Map
for navigation links
Home
Multi-Valued Logic Synthesis
Boolean Technology Mapping
Berkeley Language and Automata Manipulation
Combinational Verification
Physically-Aware Synthesis
Download Software
People / Contact
mvsis
Overview
Group information
Group name
mvsis
Title
mvsis
Summary
Description
Group type
Software project
Special interest group
Administrative group
People involved in this group
Administrators
Christopher Brooks
cxh
cxh@eecs.berkeley.edu
Michael Case
mikecase
Satrajit Chatterjee
satrajit
Alan Mishchenko
alanmi
Members
Christopher Brooks
cxh
cxh@eecs.berkeley.edu
Michael Case
mikecase
Satrajit Chatterjee
satrajit
Sungmin Cho
smcho
Alan Mishchenko
alanmi
Xinning Wang
xinningwang
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
Contact
©2002-2018
U.C. Regents