[sv-ac] Question about reference to data defined in sequence.

Subject: [sv-ac] Question about reference to data defined in sequence.
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Feb 05 2003 - 11:52:54 PST

Good afternoon;

This is an example about the question Erich raised in the previous meeting...

// Define sequence to compare data out of fifo with captured data from assertion.
// Can I do this?
sequence check_data = (tem.ast.itsdata == fifo_out_data);

// Template to check
template tem(check_seq);
    ast: assert (fifo_push => ((int itsdata = fifo_in_data) [1:100] fifo_pop;
                               [0] check_seq))
      else $error();
endtemplate

I want to reference the dynamic 'itsdata' for use in my sequence I pass into
the template.

Also, would there be a way to create dynamic data that can be referenced on
the rhs of an implication? E.g.

   (a; ((int got_data = data) [1:5] b); [1:6 c)
     => ([1:10] done; [0] done_data == got_data);

    Thanks.

    Adam Krolnik
    Verification Mgr.
    LSI Logic Corp.

This archive was generated by hypermail 2b28 : Wed Feb 05 2003 - 11:53:47 PST