Re: [sv-ac] AC 196:

Hi Hillel, Eduard;

So as a comparative set of properties, these are the equivalent forms, correct?

property rule6_with_no_type(x, y);
   ##1 x |-> ##[2:10] y;
endproperty

property rule6_with_type(ref bit x, ref bit y);
   ##1 x |-> ##[2:10] y;
endproperty

And these are definitely not the same...

property rule6_with_no_type(x, y);
   ##1 x |-> ##[2:10] y;
endproperty

property rule6_wrong_type(bit x, bit y);
   ##1 x |-> ##[2:10] y;
endproperty

I would have though the model was that of a module, not a model of a task (call or
invocation.) With a model of a module, then ports would not need the 'ref' keyword to
be able to monitor the (possibly) changing (in time) value of expressions.

     Thanks.

     Adam Krolnik
     Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"
Received on Tue Nov 16 12:38:51 2004