Home
Multi-Valued Logic Synthesis
Boolean Technology Mapping
Berkeley Language and Automata Manipulation
Combinational Verification
Physically-Aware Synthesis
Download Software
People / Contact
Robert Brayton
Alan Mishchenko
Jie-Hong Roland Jiang
Mike Case
Donald Chai
Satrajit Chatterjee
Aaron Hurst
Yinghua Li
Gerald Wang
Minxi Gao
Yunjian Jiang
Subarnarekha Sinha
Tiziano Villa
You can email the group at the following address (replace "antispam" with "berkeley"):
mvsis-devel@ic.eecs.antispam.edu
Last modified on 27 Oct 2005 by satrajit