(有代码)基于某libero的数字逻辑设