In reply to verif_learner:
In reply to cuonghl:
I hope you appreciate that when it says, on the fly, it means within the protocol limits and not literally at every time instant or atomic transaction.
Not really understand what you said, but could you give me any suggestion with example that I posted in previous post? I have 2 way to check it:
- Check at run phases, anytime a packet comes to SB
- Collect all and check at report phases after simulation finished.
What is the trade-off between 2 methods?
Thanks.