MVSIS

MVSIS: Logic Synthesis and Verification. In addition to algorithms for multi-valued logic, MVSIS includes fast binary synthesis algorithms, technology mapping and resynthesis procedures and state-of-the-art engines for combinational and sequential equivalence checking. See the Download Software page for source code, documentation and Linux and Windows binaries