基于Libero的数字逻辑设计仿真及验证 第4页