Verilog books

Hi,

Can anyone recommend a good book on verilog? I've got some experience with VHDL, but am looking for a book on verilog with an emphasis on synthesisable design. Inclusion of the verilog 2001 additions would also be nice!

Thanks in advance, Alex