В том смысле что формула понятна, но как именно они считают не известно. Почему важно знать "как", потому что DAC и них 10-ти разрядный, т.е. они там считают(28-ти,32-ух разрядные слова), считают, считают, а потом режут результат до десяти разрядов. А вот как именно они режут, я не знаю, отбрасывают? округляют? если да то когда? и т.д.
Поэтому логично было бы выбирать пару частот кратных двойке, например входная 24Мгц, а выходная 6Мгц, тогда это просто деление на четыре, целым результатом и одной значащей единицой в управляющем слове.