简单的verilog测试程序