Wednesday, January 27, 2016

VIS & VL2MV

18/01/2016:
-----------

    Installing VIS model checker
    ----------------------------

        Download from: http://vlsi.colorado.edu/~vis/vis_files_2.4.html

        Note: First do the installation of glu and then install vis or vl2mv (order doesn't matter)

        Installation: Follow the steps in the VIS README file in http://vlsi.colorado.edu/~vis/vis_files_2.4.html

        Pitfalls: Dont extract the vis and glu .tar.gz files using gui. Instead use the commands given below
            % gzip -dc /tmp/glu-2.4.tar.gz | tar xf -
            % gzip -dc /tmp/vis-2.4.tar.gz | tar xf -

        Setting environment for VIS
            set VIS_LIBRARY_PATH=$cwd/share

    Installing vl2mv:
    ----------------

        Follow instructions in the README file in http://vlsi.colorado.edu/~vis/vis_files_2.4.html

        "make check" will fail since the vl2mv-2.4/examples folder is empty. Don't worry about that

No comments:

Post a Comment

VIS & VL2MV

18/01/2016: -----------     Installing VIS model checker     ----------------------------         Download from: http://vlsi.colorado.edu/~...