Verilog数字系统设计—RTL综合、测试平台与验证