Verilog manuals

There are many on-line reference materials for Verilog. Here are a few that have proven useful in past sections of ECE 406.