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

mvsis-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
You are not logged in 
©2002-2018 U.C. Regents