Installing Verilog/Veriwell on Various Platforms

In this post, I would like to help you to install the Verilog simulator. You have several options for simulating your Verilog files:

  • Run your Verilog files on “”.
  • Install the command line version of Verilog (“vlogcmd”) in Windows
  • Install Veriwell in some Linux.
  • Install Veriwell in OS X
  • Install Veriwell in Cygwin on Windows

In the following, you find details to all 5 options listed above.

Run your Verilog files on “”

Veriwell is installed on “”.

You can connect with “Secure Shell” (SSH) to your account on “”. Username and password are the same as you have in your TUGraz account. SSH is part of all Linux installations, and also of OS X. In Windows you could use PUTTY, for instance (

Install the command line version of Verilog (“vlogcmd”) in Windows

This is rather simple. Just download the file “” from the course web page of Rechnerorganisation. This is the link:

Unzip the file and you get a nice and small file called “vlogcmd.exe”. Use this executable command line version of the Verilog simulator in a command window.

Install Veriwell in some Linux.

Use your browser and go to ““.

Download and save the file “veriwell-2.8.7.tar.gz” in some directory. Extract “veriwell-2.8.7”. Use the usual procedure as root. For instance like this:

sudo -s
make install

If the configuration phase has problems, then you most likely have not installed some package which it needs. For example “g++”. In this case, you first need to install this package. Again as root:

apt-get install g++

After completion, try to run ./configure again.

After completion, you can try out the installation by issuing the shell command:


You get the error:

“veriwell: error while loading shared libraries: cannot open shared object file: No such file or directory”

You need to set the PATH variable first.

If you have a Bourne-again shell (bash), do this:

export LD_LIBRARY_PATH=/usr/local/lib

Try again with “veriwell“.

Now it most likely works. You get an answer from veriwell. The answer says that you should specify a source file.

Don’t forget to leave the superuser mode by issuing


Create a trivial verilog source file; e.g. like the following two-liner:

module test;

Called the file “veriwelltest.v”.

Issue the command again:

export LD_LIBRARY_PATH=/usr/local/lib

Then type

veriwell veriwelltest.v

Veriwell should report a successful compilation with “0 errors”.

Now put the export statement into the startup-file of your shell. If it is a “Bourne-again shell” (bash), you might want to edit the file named “.bashrc” in your home directory.

Add the line

export LD_LIBRARY_PATH=/usr/local/lib

at the end of this file. Save it.

Then issue the command

source .bashrc

or start a new shell.

Now, Veriwell should work nicely:



veriwell veriwelltest.v

should produce the desired results.

Install Veriwell in OS X

Basically, you can do the same as described above for Linux. However, the Gnu Compiler Collection (GCC) is not installed on Mac OS X by default.

Whether you have GCC on your Mac already, you can check out easily. Start a terminal window. I usually do this by clicking on the spotlight, i.e. the magnifying glass in the top-right corner of the screen. There I enter “term”. With this you get a terminal window with a Bourne-again shell (bash). Type “gcc” in this window and see whether it reacts with something like “error: no input files”.

If, however, you get an error like “gcc: command not found”, you need to install GCC first.

Do this:

First, you should have a recent version of Xcode. Go to the “App Store” and get it.

You get GCC by starting Xcode. Select the menu point “Xcode->Open Developer Tool->More Developer Tools…”. This sends you to an Apple Developer Web Site. There you need to register or just sign in, if you are already registered.

The next page offers you dmg-files for the “Command Line Tools for Xcode” for the most recent Mac operating systems. Pick the one you want. I just did so and got the file “command_line_toos_for_osx_mavericks_april_2014.dmg”. The file has 120 MB. Save it. Locate the file, click on the file, and double click the icon “Command Line Tools (OS X 10.9).pkg” (or similar). Step through the install procedure.

Now, check out again with “gcc” in your shell.

From here you can proceed with installing Veriwell as explained for Linux above.

Install Veriwell in Cygwin on top of Windows

For this you need Cygwin installed. I will not explain the Cygwin install procedure here.

Then you can install Veriwell in similar way as explained for Linux above.

I wish you success.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s