1 WHEN ((Req = 0 AND Req[-1] = 1) OR (Req = 1 AND Req[-1] = 0)) 0 OTHERWISE

IS1[-1] + InData WHEN (t059[-1] AND NOT(t006[-1])) IS1[-1] + InData - 1 WHEN (t059[-1] AND t006[-1]) IS1[-1] - 1 WHEN (t006[-1]) IS1[-1]

Buffer + InData <= BufferSize

Buffer > 0