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.1mvsis-1.1-linux.tar.gz (1.3MB)
See the README file for more information.
MVSIS Homepage Comments, suggestions, complaints can be addressed to mvsis-devel@ic.eecs.berkeley.edu.edu
|