verilog激励文件怎么写