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: You may also be interested in the abc system being developed by Alan Mishchenko: http://www.eecs.berkeley.edu/~alanmi/abc/ BALM 1.0Binary for Windows: MVSIS 2.0Source release: MVSIS 1.1Binary release: (Download) MVSIS 1.0Binary release (Download) MVSIS 0.9Binary release (Download) |