Home Multi-Valued Logic Synthesis Boolean Technology Mapping Berkeley Language and Automata Manipulation Combinational Verification Physically-Aware Synthesis Download Software People / Contact |
principal investigatorresearch scientistpost-doctoral researchergraduate studentsalumnicontactYou can email the group at the following address (replace "antispam" with "berkeley"): mvsis-devel@ic.eecs.antispam.edu |