I'm trying to force a real variable in ADC model with 6 digits after decimal point. However what I can see that sometimes variable is rounded on 5 digits, and sometimes it isn't. I can find any pattern when it's rounded. In the following screenshot I connected by red lines values where rounded doesn't happen. Yellow and green lines mark that rounding happen.
I have few ADC instances, with two channels (odd and even). Every cannel has 2 inputs - a and b input.
So, Is there any way to debug this issue? Why sometimes rounding happens and sometimes it doesn't?
Forcing mechanism - $xm_force(forced_path, $sformatf("%0f", adc_input_voltage_real));