Home

Multi-Valued Logic Synthesis

Boolean Technology Mapping

Berkeley Language and Automata Manipulation

Combinational Verification

Physically-Aware Synthesis

Download Software

People / Contact

principal investigator

Robert Brayton

research scientist

Alan Mishchenko

post-doctoral researcher

Jie-Hong Roland Jiang

graduate students

Mike Case

Donald Chai

Satrajit Chatterjee

Aaron Hurst

Yinghua Li

Gerald Wang

alumni

Minxi Gao

Yunjian Jiang

Subarnarekha Sinha

Tiziano Villa

contact

You can email the group at the following address (replace "antispam" with "berkeley"):

mvsis-devel@ic.eecs.antispam.edu

Contact 
©2002-2018 U.C. Regents