Hi, David,
I aggree with you, I do not think the description in step 3b of 29.6.3.1 Example 1 is correct.
With 16MHz external clock source(or crystal), set the C1[PRDIV] value of
2'b001, the PLL reference divider is 2 , the PLL input clock frequency will be 16MHz/2=8mHz.
With the C6[VDIV] set to 5'b01110, or multiply-by-30, the VCO output clock frequency will be
8MHz*30*2=480Mhz instead of 240mhz.
In the case, I will confirm if there is the /2 intrinsic divider.
BR
Xiangjun Rong