广东工业大学数字逻辑基于Libero的实验，全部代码亲自测试都正确，有截图。