很好的verilog模型,方便验证DDR2Controller