SIVA Version 1.0 --  SImulation Verification and Augmentation.
Copyright (C) 2000 University of Texas at Austin 

Homepage: http://www.ece.utexas.edu/~malay/siva

---------------------------------------------------------------------------
This is the list of architecture/operating system/compiler
combinations we have tested. 

        * Intel Pentium 3 / Linux 2.2.14-6.1.1 / gcc (egcs-2.91.66)
        * SunW, Ultra-2 / SunOS 5.6 / gcc (2.95.2)

---------------------------------------------------------------------------
To build a SIVA executable for a single operating system, follow
the instructions below:

1. Download the most recent versions of SIVA.

2. Unpack the distribution:

	% gzip -dc siva-1.0.tar.gz | tar xf -

   It will generate the following sub-directory tree.

   SIVA-1.0 +----- siva_core
            |
            +----- glu
            |
            +----- grasp

   Move into SIVA-1.0 directory:

        % cd SIVA-1.0

3. Move into the glu directory and build glu:

	% cd ./glu
	% make
        % cd ../

5. Move into the grasp and build grasp:

	% cd ./grasp
	% make
        % cd ../

6. Move into siva_core and build the SIVA system:
        
    For solaris user:
        % ln -s Makefile.solaris Makefile
	% make

    For Linux user:
        % ln -s Makefile.linux Makefile
        % make

   This builds an executable "siva" in the current directory.  

7. Move sivarc into the home directory. This has the alias setting:

        % mv sivarc ~/.sivarc

    You can edit this file.

8. For testing, one example directory is included.
   Do the following:
   
        % cd controller
        % siva
        siva> read_blif controller.blif
        siva> pre_process -t indicator -n 100 -r 5 -p hard_tgt
        siva> solve_init -t hard_tgt -D debug -S -T 0.01
        siva>> solve -u 5 -L -E 3 -n 20 -d 5 -l 3600
        siva>> write_unresolved_target -p hard_tgt1
        siva>> solve_quit
        siva> quit
        %
       
    You can, instead, use alias commands to get the same effect.
    (check the file ~/.sivarc)
        
        siva> rbcont
        siva> ppcont
        siva> sicont
        siva>> scont
        siva>> sq
        siva> q
        %