Digital integrated circuit design - Martin, Kenneth W. (Kenneth William), 1952- (Oxford series in electrical and computer engineering, 2000)