Accessing the tools (2009)

ModelSim

  1. QuestaSim, which is similar to ModelSim, is avaialble on the computers in the lab 3507a/b and via ssh to remoteX.student.chalmers.se (where X=1,2,3,4 or 5) with the command vsim.

  2. Another option is to fetch the free version of ModelSim available from Xilinx, and use it on your own PC (if you use Windows). (You might also want to play with the Xilinx ISE Webpack, which is an amazing FREE tool.) In either case, you'll have to create a Xilinx account. We don't support these tools, but mention them for your convenience.

Jasper Gold

  1. Jasper Gold version 4.1 is available on on the computers in the lab 3507a/b and via ssh to remoteX.student.chalmers.se (where X=1,2,3,4 or 5) You may need to use the command

    vcs-select jaspergold jaspergold_4.1
    before you use it the first time. Then you can start it with the command jaspergold.

Lava

  1. Lava is avaialble on the computers in the lab 3507a/b and via ssh to remoteX.student.chalmers.se (where X=1,2,3,4 or 5) with the command lava filename.hs or lavaGhci filename.hs.

    However, the lava installation is slightly broken. To be able to check Lava circuits with smv, you need to run the following commands (manually, or put them in your .tcshrc file):

    setenv LD_LIBRARY_PATH /chalmers/sw/sup/lava-2000/smv/lib
    set path = ( $path /chalmers/sw/sup/lava-2000/smv/bin/ )
  2. You can download A version of Lava for Linux. Follow these brief instructions on how to get it working.


Additional information