mul_q32_u32
m2div = mul_q32_u32(m2div, 500);
val_with_frac = mul_q32_u32(m2div, refclk_khz);
m2div = mul_q32_u32(m2div, 1000);
temp0 = mul_q32_u32(target_dco_mhz, tdc_res);