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