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