11.3 数字系统的FPGA/CPLD硬件验证