Home

Multi-Valued Logic Synthesis

Boolean Technology Mapping

Berkeley Language and Automata Manipulation

Combinational Verification

Physically-Aware Synthesis

Download Software

People / Contact

MVSIS 3.0 (August 05)

Linux binary: mvsis-3.0-linux.tar.gz
Windows binary: mvsis-3.0-win32.tar.gz
Source release: mvsis-3.0.tar.gz
You may also be interested in the abc system being developed by Alan Mishchenko: http://www.eecs.berkeley.edu/~alanmi/abc/

BALM 1.0

Binary for Windows: balm-1.0-win.tar.gz
Users Manual (PDF)

MVSIS 2.0

Source release: mvsis-2.0.tar.gz
Users manual (PDF)
Programmer's manual (PDF)

MVSIS 1.1

Binary release: (Download)
Release notes (Text)
Users manual (PDF, PS)
Code-gen users manual (PDF, PS)
DC2MV converter (dc2mv.tgz)

MVSIS 1.0

Binary release (Download)
Release notes (here)
Users manual (PS)

MVSIS 0.9

Binary release (Download)
Release notes (here)
Users manual (PS, PDF)
Contact 
©2002-2018 U.C. Regents