quartusii和modelsim的后仿真例子,用的是verilog,加深对后仿真的理解。