It infers the traffic pattern for each channel in a NOC by analyzing the simulation trace generated by typical benchmarks.
This traffic pattern include the burst transition number, transition rate and bound.
And then it generate a regulator for each channel that represent this pattern and insert them into the correspoding channel, and constraint that they all hold in verification.
In this way, the traffic pattern that we interest in will be forced to hold.
This approach can also be extended to multiple channels, for example, to constrain that we dont allow five source to flood the sink at the same time, be we allow one of them to send.