FPGA原型验证手册：第一章-引言：系统验证的挑战（二）