Re: [sv-ac] getting local variables out of sequences

Subject: Re: [sv-ac] getting local variables out of sequences
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Aug 25 2003 - 16:11:24 PDT

Hi John;

Here is a simple example for use of local variables in the action block.

property req2done;
   int rtag;
   @(posedge clk)
   (req, rtag = req_tag |-> ##[1:100] done && done_tag == rtag);
endproperty

I would like to be able to do:

assert property (req2done)
   else $error("Request tag %0d didn't complete within 100 cycles.",
               req2done.rtag); // Reference to local variable in property.

Can one make a restriction to allow such functionality?

Maybe something like the antecedent must have first_match applied or it has no
variability in time. E.g.

first_match( antecedent) |-> consequent

    Thanks John

     Adam Krolnik
     Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074

This archive was generated by hypermail 2b28 : Mon Aug 25 2003 - 16:15:01 PDT