Assertion Based Verification

SVA Sequences IV : Methods

Method .triggered

This is built-in method on a sequence . This is a method to break down the complex sequence to simpler sub-sequences. The endpoint of sub-sequence can be detected using the method triggered. When method triggered is evaluated in an expression, it tests whether its operand sequence has reached its end point at that particular point in time. The result of triggered does not depend upon the starting point of the match of its operand sequence.

The above code snippet shows an example for breaking down complex sequence using triggered method.
In this example, sequence seq1 must match one clock tick after s2. If triggered is replaced with instance of seq1, a match of seq1 must start one clock tick after s2.

Click to comment


  1. Putta Satish

    April 24, 2017 at 12:32 am

    Thanks for the nice explanantion. Can you please explain ended methos also in the similar manner?

Leave a Reply

Your email address will not be published. Required fields are marked *

Most Popular

VLSI Pro is a professional network of VLSI engineers. Here you can find latest news, helpful articles and more on VLSI technology.

Copyright © 2016 VLSI Pro

To Top