8.5 数字逻辑综合设计仿真及验证