编写测试平台—HDL模型的功能验证(第二版)