This is release 1.0 of MVSIS, a system for multi-value logic network optimizations. The current release includes a binary executable for Redhat Linux 6.1 (or Linux kernel 2.2.x and glibc 2.1) and higher. Binary versions for Solaris 6 and DEC Alpha can be made available on a case by case basis. --------------------------------------------------------------------------- What's new: 1. Support for external don't care network specification An external multi-valued combinational don't care network can be specified with the keyword ".exdc" in the BLIF-MV file or it can extracted automatically in restricted cases. External don't cares may be exploited by logic minimization, e.g., by "fullsimp". 2. Support for sequential networks with latches Latches can be specified with construct ".latch" in the BLIF-MV file. Command "encode" performs state encoding on multi-valued latches; command "extract_seq_dc" performs a reachability analysis and produces an external don't care network with unreachable states. 3. Quick check for global determinism Command "qcheck" checks for global nondeterminism at primary outputs and produces a warning message for such cases. It uses a simulation-based algorithm, hence does not guarantee determinism if no warning is produced. 4. Command "_print_version" This prints out new features compared with the previous release. 5. Combinational verification based on MDD representation Command "validate -m mdd" checks the global function at primary outputs using an MDD representation, hence guarantees correctness if it succeeds. 6. Bug fix in encode, gx, pd, fullsimp, etc. --------------------------------------------------------------------------- To set up MVSIS: 1. Download the binary distribution from URL and store in /tmp (for example) http://www-cad.eecs.berkeley.edu/Respep/Research/mvsis 2. Move to where you would like to put MVSIS and unpack the distributions: % cd /home/mvsis # for example % gzip -dc /tmp/mvsis-linux.tgz | tar xf - 3. MVSIS expects to find master.mvsisrc, a .nawk file, and a directory of help files in the directory given by the global variable "lib_path". These are configured in a script file ".mvsisrc", which will be sourced each time MVSIS is invoked. It will be automatically generated by an installation script "install" and stored in the user's default home directory. % cd mvsis-linux/ % ./install (make sure your type "./install" and not "install") --------------------------------------------------------------------------- # Files in this distribution README This file. mvsis Binary executable for Linux install Installation script to set up the correct library path. share/master.mvsisrc A MVSIS script designed to be run automatically at start-up: contains aliases for commonly used commands and some default parameter settings. share/*.nawk nawk scripts for converting BLIF files to BLIF-MV, used by the "read_blif" command. share/mvsis.script share/mvsis.scriptb Example optimization scripts which can be executed by command "source". share/help/* ASCII documentation for each MVSIS command, accessible through the "help" command in MVSIS. This is available only when the global variable lib_path is setup properly by command "set". examples/ examples/mv/* Multi-valued logic networks coming from the VIS distribution, machine learning examples from Portland, and hand crafted ones. examples/binary/* Binary logic networks coming from the SIS distribution. examples/seq/* Sequential logic networks. doc/ doc/manual.ps doc/manual.pdf MVSIS users manual and the description of all optimization commands. doc/blifmv.ps Description of the BLIF-MV file format --------------------------------------------------------------------------- List of MVSIS commands: 1. IO operations and miscellaneous commands: read_blif read_blifmv write_blifmv delete help source alias unalias set unset echo runtime usage undo save history quit chng_name reset_name 2. print out networks: print print_altname print_level print_stats print_io print_range print_factor print_value print_part_value _print_version 3. algebraic methods: decomp factor fx resub 4. don't care methods: simplify fullsimp 5. network optimizations: sweep eliminate collapse elim_part merge pair_decode encode reset_default 6. verification gen_vec simulate validate qcheck 7. sequential network support extract_seq_dc Contact: --------------------------------------------------------------------------- the MVSIS group (mvsis-devel@ic.eecs.berkeley.edu) Aug. 2001