广东工业大学—基于Libero的数字逻辑