What are ways to implements checker to check the complete the flow from start to end?

UVM
, , , ,
1

Hi,

I am figuring out the best way to implement checker which will check complete flow from flow trigger to expected output at end of flow.

Could any one suggest strategy/Material on this topic to find best solution?

Flow details:

  1. There are Handshake which will happen in sequential order.
  2. There are Handshake which could go in parallel.
  3. There is possibility of race between Handshake signals.

Discrete SVA will check the part of flows but still the possibility of missing out if handshake are not happening in order(Handshake suppose to come later are coming earlier or Handshake happened earlier are changing their values currently), it seems complex with this approach.

Thanks