I have a SV interface which hangs off a bus, waiting for transactions to occur. I use SVA to look for sequences, and verify correct protocol. Each of these SVA constructs have implication operators.
I use the non-vacuous pass action block to trigger an event; my bus monitor sees this event, then snags all the appropriate values off the bus and builds a transaction.
In every example I've seen, the monitor is manually looking for the correct signal sequence to know when to build transactions. But, if you are using SVA to enforce protocol on the bus already, why not just use the above approach? I'm asking because I've never seen an example where this is done.
Furthermore, I've never seen a monitor actually refer to the clocking block conditioned signals; always the actual bus lines.
thoughts?