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


mvsis-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
Contact 
©2002-2018 U.C. Regents