I am writing to point out an apparent mismatch between K60 (and K70) actual PDB DAC interval trigger outputs behaviour and what I have found in the reference manual (page 933 of K60 Sub-Family Reference Manual, Rev. 2 Jun 2012 K60P121M100SF2V2RM).
In the manual it is clearly stated that "DAC interval counters are also reset when the PDB counter reaches the MOD register value; therefore, when the PDB counter rolls over to zero, the DAC interval counters starts anew."
It seems that this is not what really happens: the DAC interval counter does not reset but it goes on counting regularly sending triggers to the DAC buffer.
What I would like to know is if this is a known behaviour and if the error is in the reference manual or in the MCU masks.