requester.v: tx_counter width is 11 bits