A program called MVSIS has been developed which optimizes multi-level multi-valued networks (MV networks). We describe what such a network is and the capabilities contained in MVSIS. MVSIS is modeled after SIS, which synthesizes binary multi-level networks, but the logic network of MVSIS is such that all variables can be multivalued each with its own range. Included in MVSIS are almost all the technology-independent transformations of SIS for combinational and sequential logic synthesis as well

more »

... as transformations specific to multi-valued nodes such as merge, pair decode, encode. MVSIS can read and write BLIF-MV and BLIF files which describe MVnetworks and binary networks respectively.