Trim clock from pulse-per-second GPS signal?

[AKrup]

Using STM32F030 / F042. I have a GPS receiver onboard which produces a very accurate pulse-per-second signal (~40ns). I want to use this timing source to keep the system clock, or at least the RTC accurate. The user may wander in and out of GPS reception, so the pulses may come at odd intervals, but when they come, their rising edges always align with the top of the second.

I should add that I'm using an 8MHz crystal resonator (HSE).

[Tesla DeLorean]

Lack of 32-bit TIM, and very crude dividers does make it a bit difficult. I used an L4

Seem to recall the F0 only provides trim for the RTCCLK, you'd need to quantify the HSE and use a combination of HSE/32, the prescalers, and the trim to clock.

Some GPS can generate a persistent frequency which could clock the STM32 in place of a resonator. And most current ones use a TCXO, so even in hold-over a better bet. Others provide an EVENTIN where you could actually time your HSE via a TIM/MCO pulse, likely much more accurately than the STM32 is capable of.

[AKrup]

Thank you, Clive. I'd consider moving up to L4 if it supports my use case. How did you do it on an L4?

[Tesla DeLorean]

I'm doing something a bit more exotic, but if you wanted to mark 1 second ticks with the HSE/PLL you've previously quantified, you could use the ARR setting for the timer to count off your ~32,000,000 ticks to get the integer portion of the error managed, and then modulate that count +/-1 cycle occasionally to account for the accumulating fractional error/bias. This would give you a 31ns saw-tooth, and the ability to read the CNT value to get the fractional second at that resolution.