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