hi!
there is also a chapter dedicated to digital PLL's in CMOS circuit design, layout and simulation by Boyce, Baker and Li. to be precise the chapter number is 19. i think it will give you good idea about the design. he has also given good explanation about the various building blocks that can be used. anyway, if you need any help you can always refer back to me. i am designing one myself.
. i have a collection of thesis works on the same topic. if you need them i can send them to you anytime.
regards,
vijay