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 1.0mvsis-1.0-linux.tgz (868KB) See the README file for more information.
MVSIS Homepage Comments, suggestions, complaints can be addressed to mvsis-devel@ic.eecs.berkeley.edu.edu
|