王金明Verilog程序设计教程书本附带的源程序。