Hi Sebastian, Thanks for testing both directions and for the Tested-by. Yes, ctr_idx - num_hw_ctrs is evaluated as unsigned and wraps; it does not produce a negative array index. The class check rejects either mismatch before it reaches the counter-specific operations. Thanks, Pengpeng