Department of Computer Science
The University of Chicago

Copyright information

Last modified: Wed Feb 3 14:46:42 CST 1999

 

Verilog

Verilog is a language for creating and testing computer architecture designs. Veriwell is an implementation of Verilog. VeriWell is installed on classes host (To start the simulator you should type veriwell for the command line version and mveriwell or xveriwell for the X-version). There is also a Mac version available.

Online documentation

Prof. Hyde's manual at Bucknell University is a good staring point for learning Verilog (take care: as the manual uses an older version of VeriWell  the information on the use of the simulator might be obsolete). Here is a Hardware Designe's Guide to Verilog that should help you start.
And you can find here some intresting links to Verilog HDL documentation and tutorials.

Here you have an up to date VeriWell user guide  in HTML format and  a more complete one in PDF format.

Examples

Mike O'Donnell has worked out some examples of VeriLog programs. They are not organized for presentation, and they may change from day to day. You may find them at ~odonnell/CS222/VeriWell. Some of the older versions of files may be interesting. You can get them by copying *,v files from the RCS_directory to your own directory. Use the rlog command to get a list of versions, and then use the co command to check them out.

Here you have two more complex examples.

Emacs mode for Verilog

If you use the command line version of Veriwell then the Verilog mode for emacs might be useful.

SPIM

This is a simulator for the MIPS machine. The machine language is a superset of the DLX language discussed in the text. It is installed on the classes host, as /usr/local/bin/spim and /usr/local/bin/xspim. spim has a terminal interface, and xspim provides a nice window displaying the register contents, etc. There is a manual page in /usr/local/man/man1/xspim.1. There is a somewhat more thorough manual in PostScript form. CS 314 at the University of Oregon provides a Quick Start Guide, an online version of the Reference Manual, and some nice SPIM examples.

 

DLX

DLX is the fictional machine treated in the text. There is a simulator, but we have not succeeded in installing it.