I want to create a assertion checker for below cases.
Case1:- At x-time FC bit is asserted it will create backpressure to below pipeline, and for scheduled packets it will take some time to complete the transactions and after that we need to check salience in pipe.
Case2:- At y-time FC bit is de-asserted To schedule the packets it will take some time and after that we need to check transactions in pipe.
Please help on this assertions creations.
Thanks in advance.