verilog编码格式规范、可综合与不可综和预计说明、典型功能模块编码参考。