5.5 数字逻辑综合仿真实验