编写测试平台：HDL模型的功能验证（第二版）