Skip to main content

VIS & VL2MV

Image
By
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

Comments

Post a Comment

Popular posts from this blog

Install Modelsim in Ubuntu

By
Updates (23/09/14): The steps given below are for 32-bit version of Ubuntu. To install Modelsim on 64 bit Ubuntu, please refer to this link.  What is Modelsim? Modelsim is a hardware simulation and debug environment primarily targeted at smaller ASIC and FPGA design ( Ref ) How do I install it? Download Modelsim Linux edition from here   For more information visit me   Go to the download location of the .run file and type chmod +x ModelSimSetup-13.1.0.162.run Visit me for more details Use the command ./ ModelSimSetup-13.1.0.162.run install Modelsim  How do I start Modelsim?   Change your directory to 'Location_where_you_installed_Modelsim '/altera/13.1/modelsim_ase/linuxaloem   Type ./vsim   Verified on: Ubuntu 12.04 LTS
21 comments
Read more

Installing Latex (Miktex+Winedt platform) in windows 7

By
courtesy: Jinu jayachandran (IIT Bombay) Note: To use latex in windows, you can use the softwares Mikitex and Winedt 1.install the mikitex 2.9 2.Install Winedit 7 3. Start->mikitex 2.9->maintenance->settings->general->change the preference for ‘install missing packages on-the-fly’ to ‘yes’ 4. Start->mikitex 2.9->maintenance(admin)->package manager->repository->change package repository->click ‘packages shall be installed from internet’-> give proxy settings and tick ‘authentication required’-> next->give ldap username and password 5. select any repository 6. Start->mikitex 2.9->maintenance(admin)->package manager->repository->synchronise 7.Start->mikitex 2.9->maintenance(admin)->update(admin) and update by selecting ‘use nearest package repository’ and give proxy settings Now you can start using mikitex using winedit interface. download MikiTex 2.9 download Winedt 7 userguide Note:The ldap i...
4 comments
Read more