c4brian Posted July 17, 2015 Report Share Posted July 17, 2015 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? Quote Link to comment Share on other sites More sharing options...
Join the conversation
You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.