Digital integrated circuit design - Ken, Martin (OUP, New York, 2002)