Home Multi-Valued Logic Synthesis Boolean Technology Mapping Berkeley Language and Automata Manipulation Combinational Verification Physically-Aware Synthesis Download Software People / Contact |
Binary for MVSIS 0.9mvsis-linux.tgz (639KB) See the README file for more information.
MVSIS Homepage Comments, suggestions, complaints can be addressed to mvsis-devel@ic.eecs.berkeley.edu.edu
|