This is my solution for the problem I had with dac using counters. There is a time delay between counter overflow-reset and carry signal. This results in both counters outputting zero for a brief time period, creating voltage spikes and drops on the output of dac. My solution creates an external carry condition detection using a couple of ANDs and a rising edge detector.