This is release 0.9 of MVSIS, a system for multi-value combinational 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). Binary versions for Solaris 6 and DEC Alpha can be made available on a case by case basis. --------------------------------------------------------------------------- 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. 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_alt_name print_level print_stats print_cubes print_io print_range print_factor print_value print_part_value 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 Contact: --------------------------------------------------------------------------- the MVSIS group (mvsis-devel@ic.eecs.berkeley.edu) Feb. 2001