verilog仿真读取文件