Verilog Rules Check

A Java program Vcheck will be used to scan your design for some of the common illegal constructs. It is fairly simple, and can be easily fooled into either allowing things or complaining incorrectly. But it is a useful tool if you are unclear as to whether or not your design meets the requirements set forth here. You will be required to run it on your Verilog designs and hand in the output; To run it, copy the two class files Vcheck.class and VerFile.class into a directory, and from that directory type "java Vcheck <myfile.v>"

• Vcheck.class
• VerFile.class

For every Verilog file, run this tool and save the output in a file with the extension .vcheck.out. For example, if you had a file called add.v, then your vheck output file should be add.vcheck.out. The .vcheck.out files should be included in your tgz.

---

Automated scripts

Run /u/k/a/karu/courses/cs552/spring2008/handouts/bins/vcheck-all.sh

This script will run vcheck on all the verilog files in your current directory and write .vcheck.out files into a directory called vcheck_out.

Use at own risk