(有代码)基于libero的数字逻辑设计仿真及验证实验(4-