Reference Manuals
Note that some of these links don't work. If that's the case, the file
is listed also. So use ghostview or acroread to view the ps and pdf, respectively.
Verilog
Introduction to Verilog from EECS470 (.pdf)
Bucknell Verilog
Manual
Verilog FAQ
Signalscan on-line documentation
VCS User Guide (.ps)
VCS man page (.ps)
Verilog-XL - This is the supported tool.
Synthesis
Digital Design Techniques Using Verilog (.pdf) - Discussion will be based on this.
Synopsys On-Line Documentation (.pdf)
Synopsys/Verilog FAQ
Static Timing
-
PrimeTime (.pdf) - This is the supported tool.
-
PathMill (.pdf)
-
SDF Specification (.pdf)
Place & Route
Silicon Ensemble (run /nfs/ds/ecad3/solaris/cadence_5.4.99/ic_4.43/tools/bin/openbook) - This is the supported tool.
Virage Memory Compiler (coming soon)
Magma Blast Fusion (see me)