Accessing the tools

In this course, we will use the tools Modelsim, Jasper Gold and Lava.

Modelsim

You can use Modelsim on
persephone.tekno.chalmers.se
with your Chalmers login. Place the file .tcshrc in your home directory (or append the lines if the file already exists). Now, when you log in, you should see the message
"Done: settings for Modelsim and Lava"

If you cannot see this message, you may be running the wrong shell type. Just type

tcsh
at the prompt to start a shell where these settings work.




You can also use Modelsim on
legolas.ce.chalmers.se
for which you will need a special account for the CE computers. If you don't already have such an account, ask us and we will provide one. Once you have logged in, give one of the commands
source /cab/ce/sw/questasim/setup
for version 6.2f, or
source /cab/ce/sw/modelsim/setup.5.8d
for the version used on Persephone.

You can also put that line in the file .tcshrc to make it run automatically on login.



Now, in either case, to start Modelsim, give the command
vsim &


A third 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

Version 4.6 of Jasper Gold is available in the CE labs and on
legolas.ce.chalmers.se
To run it, type tcsh (if necessary) and then
source /cab/ce/sw/jaspergold/setup
(or add this to your .tcshrc file). Jasper Gold is then started by the command
jg &

The older version 4.1 of Jasper Gold seems to be available on Persephone (for use with just a Chalmers account), though the license has probably expired. We will use that version only if something goes wrong. (The newer version has quite a few new features.)

Lava

Lava is run on Linux computers. Use
remoteX.tekno.chalmers.se
(where X is 1/2/3/4) if you need to SSH to an appropriate Linux computer. When you come to use Lava, you will probably already have followed the instructions above about adding the file .tcshrc in your home directory. Now, to start Lava, give the command
lava filename.hs
where filename.hs is your Lava program. You can also use lavaGhc or lavaGhci if you want use the GHC compiler instead.

It is also possible to get (from us) a version of Lava for use on your own PC. More about that later.