Comments from a colleague on the style of the document contents
The naming styles of the examples are divergent
clk vs. ck
Figure9 ff.: out1 vs. gout2
Figure10: the last FF output has no name
At several places, the active form (e.g., “we have included pseudo code”) has been used instead of the more formal passive form (“pseudo code has been included”) which is common for standards