8.4 数字逻辑基础设计仿真及验证