6.2.3 逻辑功能的仿真与测试