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.1

mvsis-1.1-linux.tar.gz (1.3MB)

mvsis-1.1-win32.zip (900KB)

mvsis-1.1-solaris.tar.gz (1.1MB)

See the README file for more information.

MVSIS Homepage
Comments, suggestions, complaints can be addressed to mvsis-devel@ic.eecs.berkeley.edu.edu
You are not logged in 
©2002-2018 U.C. Regents