夏宇闻教授的《Verilog数字系统设计教程》第二版。