for (i = 0; i < NDAQ; i = i + 1) begin
        if (daq_req[i]) begin
                daq <= i;
                daq_grant[i] <= 1;
                ...
                state <= DA_GRANTED;
                i = NDAQ;
        end
end