“…In these arrangements c is number of the trace-register that can be embedded into trace data, m is the number of hardwareassertion inside each cluster and s is the number of the clusters. For example, in our test case, AMBA 3 AXI Bus protocol all these configuration are valid: (2,3,28), (1,4,22), (1,5,17), (1,6,15) , (1,8,11), (1,9,10), (1,14,9), (1,15,7).…”