Closed kv-be closed 3 months ago
v_t_exp_calib := (unsigned(t_start) - C_HALF_A_SECOND - unsigned(t_onboard)); assert v_t_exp_calib <= X"0000_0000_0005";
:= aligns with <= in the assert statement
solved
:= aligns with <= in the assert statement