Some additional resources which you might find useful, including general observations on testing and verification.

HDL coding styles covers the coding and synthesis of basic elements for both VHDL and Verilog. This should be useful if you already know one of the languages, and you're learning the other one.