Verilog算法及建模整理文档改写版