bibliographic details : 数字逻辑电路设计