In reply to dave_59:
Hi Dave,
If I have many such similar vectors (CHILD_SIG0, CHILD_SIG1 etc. as described in my original post) which are already part of separate instances of same interface, checking for transition sequence across them cannot be done by SVA inside a single interface, correct?
Also, I feel that if I concatenate all these vectors into a single one as you described, the solution becomes very much dependent on number of vectors I have. And the assertions might look cumbersome if the number of vectors to be concatenated increases in a later project.
I could put the SVA related to individual vector in the interface, and for cross-transitions, I thought of pushing the transition information into a queue as they happen, and passing the queue into an upstream checker when one sequence complete. The checker could re-arrange the information from different such monitors and create a bigger single queue.